; benchmark generated from python API
(set-info :status unknown)
(declare-fun mt_list2_kid_3_feasible () Bool)
(declare-fun mt_list2_feasible () Bool)
(declare-fun mt_list2_kid_2_feasible () Bool)
(declare-fun mt_list2_kid_1_feasible () Bool)
(declare-fun mt_list2_kid_0_feasible () Bool)
(declare-fun mt_bottom_1_feasible () Bool)
(declare-fun mt_lists_kid_4_feasible () Bool)
(declare-fun mt_lists_feasible () Bool)
(declare-fun mt_lists_kid_3_feasible () Bool)
(declare-fun mt_lists_kid_2_feasible () Bool)
(declare-fun mt_lists_kid_1_feasible () Bool)
(declare-fun mt_lists_kid_0_feasible () Bool)
(declare-fun mt_bottom_0_feasible () Bool)
(declare-fun mt_icons_feasible () Bool)
(declare-fun pics_content_7_title_kid_2_feasible () Bool)
(declare-fun pics_content_7_title_feasible () Bool)
(declare-fun pics_content_7_title_kid_1_feasible () Bool)
(declare-fun pics_content_7_title_kid_0_feasible () Bool)
(declare-fun pics_content_7_feasible () Bool)
(declare-fun pics_content_7_pic_feasible () Bool)
(declare-fun pics_content_6_title_kid_2_feasible () Bool)
(declare-fun pics_content_6_title_feasible () Bool)
(declare-fun pics_content_6_title_kid_1_feasible () Bool)
(declare-fun pics_content_6_title_kid_0_feasible () Bool)
(declare-fun pics_content_6_feasible () Bool)
(declare-fun pics_content_6_pic_feasible () Bool)
(declare-fun pics_content_5_title_kid_2_feasible () Bool)
(declare-fun pics_content_5_title_feasible () Bool)
(declare-fun pics_content_5_title_kid_1_feasible () Bool)
(declare-fun pics_content_5_title_kid_0_feasible () Bool)
(declare-fun pics_content_5_feasible () Bool)
(declare-fun pics_content_5_pic_feasible () Bool)
(declare-fun pics_content_4_title_kid_2_feasible () Bool)
(declare-fun pics_content_4_title_feasible () Bool)
(declare-fun pics_content_4_title_kid_1_feasible () Bool)
(declare-fun pics_content_4_title_kid_0_feasible () Bool)
(declare-fun pics_content_4_feasible () Bool)
(declare-fun pics_content_4_pic_feasible () Bool)
(declare-fun pics_content_3_title_kid_2_feasible () Bool)
(declare-fun pics_content_3_title_feasible () Bool)
(declare-fun pics_content_3_title_kid_1_feasible () Bool)
(declare-fun pics_content_3_title_kid_0_feasible () Bool)
(declare-fun pics_content_3_feasible () Bool)
(declare-fun pics_content_3_pic_feasible () Bool)
(declare-fun pics_content_2_title_kid_2_feasible () Bool)
(declare-fun pics_content_2_title_feasible () Bool)
(declare-fun pics_content_2_title_kid_1_feasible () Bool)
(declare-fun pics_content_2_title_kid_0_feasible () Bool)
(declare-fun pics_content_2_feasible () Bool)
(declare-fun pics_content_2_pic_feasible () Bool)
(declare-fun pics_content_1_title_kid_2_feasible () Bool)
(declare-fun pics_content_1_title_feasible () Bool)
(declare-fun pics_content_1_title_kid_1_feasible () Bool)
(declare-fun pics_content_1_title_kid_0_feasible () Bool)
(declare-fun pics_content_1_feasible () Bool)
(declare-fun pics_content_1_pic_feasible () Bool)
(declare-fun pics_content_0_title_kid_2_feasible () Bool)
(declare-fun pics_content_0_title_feasible () Bool)
(declare-fun pics_content_0_title_kid_1_feasible () Bool)
(declare-fun pics_content_0_title_kid_0_feasible () Bool)
(declare-fun pics_content_0_feasible () Bool)
(declare-fun pics_content_0_pic_feasible () Bool)
(declare-fun main_pic_2_feasible () Bool)
(declare-fun main_pic_1_tbl_feasible () Bool)
(declare-fun main_pic_1_top_feasible () Bool)
(declare-fun main_pic_1_feasible () Bool)
(declare-fun main_news_kid_1_feasible () Bool)
(declare-fun main_news_kid_0_feasible () Bool)
(declare-fun meituan_learn_more_feasible () Bool)
(declare-fun main_title_2_feasible () Bool)
(declare-fun download_app_feasible () Bool)
(declare-fun main_title_1_feasible () Bool)
(declare-fun meituan_detail_info_feasible () Bool)
(declare-fun meituan_slogan_feasible () Bool)
(declare-fun meituan_is_a_retail_comp_feasible () Bool)
(declare-fun main_pics_holder_feasible () Bool)
(declare-fun main_news_feasible () Bool)
(declare-fun main_title_holder_feasible () Bool)
(declare-fun less_feasible () Bool)
(declare-fun thin_title_feasible () Bool)
(declare-fun home_pages_kid_6_feasible () Bool)
(declare-fun home_pages_feasible () Bool)
(declare-fun home_pages_kid_5_feasible () Bool)
(declare-fun home_pages_kid_4_feasible () Bool)
(declare-fun home_pages_kid_3_feasible () Bool)
(declare-fun home_pages_kid_2_feasible () Bool)
(declare-fun home_pages_kid_1_feasible () Bool)
(declare-fun home_pages_kid_0_feasible () Bool)
(declare-fun downloads_kid_1_feasible () Bool)
(declare-fun downloads_feasible () Bool)
(declare-fun downloads_kid_0_feasible () Bool)
(declare-fun icons_kid_1_feasible () Bool)
(declare-fun icons_feasible () Bool)
(declare-fun icons_kid_0_feasible () Bool)
(declare-fun wide_title_feasible () Bool)
(declare-fun bottom_holder_feasible () Bool)
(declare-fun read_more_feasible () Bool)
(declare-fun main_body_feasible () Bool)
(declare-fun title_holder_feasible () Bool)
(declare-fun back_ground_feasible () Bool)
(declare-fun mt_list2_kid_0_hight () Real)
(declare-fun mt_list2_kid_3_hight () Real)
(declare-fun mt_list2_kid_2_hight () Real)
(declare-fun mt_list2_kid_1_hight () Real)
(declare-fun mt_list2_hight () Real)
(declare-fun mt_bottom_1_width () Real)
(declare-fun mt_list2_width () Real)
(declare-fun mt_bottom_1_x () Real)
(declare-fun mt_list2_x () Real)
(declare-fun mt_list2_kid_2_y () Real)
(declare-fun mt_list2_kid_3_y () Real)
(declare-fun mt_list2_kid_1_y () Real)
(declare-fun mt_list2_kid_0_y () Real)
(declare-fun mt_list2_y () Real)
(declare-fun mt_list2_kid_3_width () Real)
(declare-fun mt_list2_kid_3_x () Real)
(declare-fun mt_list2_kid_2_x () Real)
(declare-fun mt_list2_kid_2_width () Real)
(declare-fun mt_list2_kid_1_width () Real)
(declare-fun mt_list2_kid_1_x () Real)
(declare-fun mt_list2_kid_0_x () Real)
(declare-fun mt_list2_kid_0_width () Real)
(declare-fun mt_icons_y () Real)
(declare-fun mt_bottom_1_y () Real)
(declare-fun mt_bottom_1_hight () Real)
(declare-fun mt_icons_hight () Real)
(declare-fun mt_icons_width () Real)
(declare-fun mt_icons_x () Real)
(declare-fun mt_lists_kid_3_width () Real)
(declare-fun mt_lists_kid_3_x () Real)
(declare-fun mt_lists_kid_4_x () Real)
(declare-fun mt_lists_kid_2_width () Real)
(declare-fun mt_lists_kid_2_x () Real)
(declare-fun mt_lists_kid_1_x () Real)
(declare-fun mt_lists_kid_1_width () Real)
(declare-fun mt_lists_kid_0_x () Real)
(declare-fun mt_lists_kid_0_width () Real)
(declare-fun mt_lists_hight () Real)
(declare-fun mt_lists_kid_4_y () Real)
(declare-fun mt_lists_y () Real)
(declare-fun mt_lists_kid_4_hight () Real)
(declare-fun mt_lists_kid_4_width () Real)
(declare-fun mt_lists_width () Real)
(declare-fun mt_lists_x () Real)
(declare-fun mt_lists_kid_3_y () Real)
(declare-fun mt_lists_kid_3_hight () Real)
(declare-fun mt_lists_kid_2_hight () Real)
(declare-fun mt_lists_kid_2_y () Real)
(declare-fun mt_lists_kid_1_hight () Real)
(declare-fun mt_lists_kid_1_y () Real)
(declare-fun mt_lists_kid_0_hight () Real)
(declare-fun mt_lists_kid_0_y () Real)
(declare-fun mt_bottom_0_hight () Real)
(declare-fun mt_bottom_0_y () Real)
(declare-fun mt_bottom_0_width () Real)
(declare-fun mt_bottom_0_x () Real)
(declare-fun bottom_holder_width () Real)
(declare-fun main_body_width () Real)
(declare-fun main_body_x () Real)
(declare-fun bottom_holder_x () Real)
(declare-fun bottom_holder_hight () Real)
(declare-fun bottom_holder_y () Real)
(declare-fun read_more_x () Real)
(declare-fun back_ground_width () Real)
(declare-fun back_ground_x () Real)
(declare-fun read_more_width () Real)
(declare-fun read_more_hight () Real)
(declare-fun pics_content_0_pic_width () Real)
(declare-fun pics_content_0_pic_hight () Real)
(declare-fun pics_content_6_hight () Real)
(declare-fun pics_content_7_y () Real)
(declare-fun pics_content_6_y () Real)
(declare-fun pics_content_5_hight () Real)
(declare-fun pics_content_5_y () Real)
(declare-fun pics_content_4_hight () Real)
(declare-fun pics_content_4_y () Real)
(declare-fun pics_content_3_y () Real)
(declare-fun pics_content_3_hight () Real)
(declare-fun pics_content_2_y () Real)
(declare-fun pics_content_2_hight () Real)
(declare-fun pics_content_1_hight () Real)
(declare-fun pics_content_1_y () Real)
(declare-fun pics_content_0_hight () Real)
(declare-fun pics_content_0_y () Real)
(declare-fun main_pic_2_hight () Real)
(declare-fun main_pic_2_y () Real)
(declare-fun pics_content_7_hight () Real)
(declare-fun pics_content_7_width () Real)
(declare-fun pics_content_7_x () Real)
(declare-fun main_pic_2_width () Real)
(declare-fun main_pic_2_x () Real)
(declare-fun pics_content_6_width () Real)
(declare-fun pics_content_6_x () Real)
(declare-fun pics_content_5_x () Real)
(declare-fun pics_content_5_width () Real)
(declare-fun pics_content_4_width () Real)
(declare-fun pics_content_4_x () Real)
(declare-fun pics_content_3_x () Real)
(declare-fun pics_content_3_width () Real)
(declare-fun pics_content_2_width () Real)
(declare-fun pics_content_2_x () Real)
(declare-fun pics_content_1_width () Real)
(declare-fun pics_content_1_x () Real)
(declare-fun pics_content_0_width () Real)
(declare-fun pics_content_0_x () Real)
(declare-fun pics_content_7_title_kid_1_hight () Real)
(declare-fun pics_content_7_title_kid_1_y () Real)
(declare-fun pics_content_7_title_kid_2_y () Real)
(declare-fun pics_content_7_title_kid_0_hight () Real)
(declare-fun pics_content_7_title_kid_0_y () Real)
(declare-fun pics_content_7_title_hight () Real)
(declare-fun pics_content_7_title_y () Real)
(declare-fun pics_content_7_title_kid_2_hight () Real)
(declare-fun pics_content_7_title_x () Real)
(declare-fun pics_content_7_title_kid_2_width () Real)
(declare-fun pics_content_7_title_kid_2_x () Real)
(declare-fun pics_content_7_title_width () Real)
(declare-fun pics_content_7_title_kid_1_x () Real)
(declare-fun pics_content_7_title_kid_1_width () Real)
(declare-fun pics_content_7_title_kid_0_x () Real)
(declare-fun pics_content_7_title_kid_0_width () Real)
(declare-fun pics_content_7_pic_width () Real)
(declare-fun pics_content_7_pic_hight () Real)
(declare-fun pics_content_7_pic_y () Real)
(declare-fun pics_content_7_pic_x () Real)
(declare-fun pics_content_6_title_kid_2_y () Real)
(declare-fun pics_content_6_title_kid_1_hight () Real)
(declare-fun pics_content_6_title_kid_1_y () Real)
(declare-fun pics_content_6_title_kid_0_hight () Real)
(declare-fun pics_content_6_title_kid_0_y () Real)
(declare-fun pics_content_6_title_hight () Real)
(declare-fun pics_content_6_title_y () Real)
(declare-fun pics_content_6_title_kid_2_hight () Real)
(declare-fun pics_content_6_title_x () Real)
(declare-fun pics_content_6_title_kid_2_width () Real)
(declare-fun pics_content_6_title_kid_2_x () Real)
(declare-fun pics_content_6_title_width () Real)
(declare-fun pics_content_6_title_kid_1_width () Real)
(declare-fun pics_content_6_title_kid_1_x () Real)
(declare-fun pics_content_6_title_kid_0_width () Real)
(declare-fun pics_content_6_title_kid_0_x () Real)
(declare-fun pics_content_6_pic_hight () Real)
(declare-fun pics_content_6_pic_width () Real)
(declare-fun pics_content_6_pic_y () Real)
(declare-fun pics_content_6_pic_x () Real)
(declare-fun pics_content_5_title_kid_1_y () Real)
(declare-fun pics_content_5_title_kid_2_y () Real)
(declare-fun pics_content_5_title_kid_1_hight () Real)
(declare-fun pics_content_5_title_kid_0_y () Real)
(declare-fun pics_content_5_title_kid_0_hight () Real)
(declare-fun pics_content_5_title_kid_2_hight () Real)
(declare-fun pics_content_5_title_hight () Real)
(declare-fun pics_content_5_title_y () Real)
(declare-fun pics_content_5_title_width () Real)
(declare-fun pics_content_5_title_x () Real)
(declare-fun pics_content_5_title_kid_2_width () Real)
(declare-fun pics_content_5_title_kid_2_x () Real)
(declare-fun pics_content_5_title_kid_1_width () Real)
(declare-fun pics_content_5_title_kid_1_x () Real)
(declare-fun pics_content_5_title_kid_0_width () Real)
(declare-fun pics_content_5_title_kid_0_x () Real)
(declare-fun pics_content_5_pic_width () Real)
(declare-fun pics_content_5_pic_hight () Real)
(declare-fun pics_content_5_pic_y () Real)
(declare-fun pics_content_5_pic_x () Real)
(declare-fun pics_content_4_title_kid_1_hight () Real)
(declare-fun pics_content_4_title_kid_2_y () Real)
(declare-fun pics_content_4_title_kid_1_y () Real)
(declare-fun pics_content_4_title_kid_0_hight () Real)
(declare-fun pics_content_4_title_kid_0_y () Real)
(declare-fun pics_content_4_title_y () Real)
(declare-fun pics_content_4_title_kid_2_hight () Real)
(declare-fun pics_content_4_title_hight () Real)
(declare-fun pics_content_4_title_kid_2_x () Real)
(declare-fun pics_content_4_title_width () Real)
(declare-fun pics_content_4_title_x () Real)
(declare-fun pics_content_4_title_kid_2_width () Real)
(declare-fun pics_content_4_title_kid_1_x () Real)
(declare-fun pics_content_4_title_kid_1_width () Real)
(declare-fun pics_content_4_title_kid_0_width () Real)
(declare-fun pics_content_4_title_kid_0_x () Real)
(declare-fun pics_content_4_pic_width () Real)
(declare-fun pics_content_4_pic_hight () Real)
(declare-fun pics_content_4_pic_y () Real)
(declare-fun pics_content_4_pic_x () Real)
(declare-fun pics_content_3_title_kid_1_hight () Real)
(declare-fun pics_content_3_title_kid_1_y () Real)
(declare-fun pics_content_3_title_kid_2_y () Real)
(declare-fun pics_content_3_title_kid_0_hight () Real)
(declare-fun pics_content_3_title_kid_0_y () Real)
(declare-fun pics_content_3_title_y () Real)
(declare-fun pics_content_3_title_kid_2_hight () Real)
(declare-fun pics_content_3_title_hight () Real)
(declare-fun pics_content_3_title_x () Real)
(declare-fun pics_content_3_title_kid_2_width () Real)
(declare-fun pics_content_3_title_kid_2_x () Real)
(declare-fun pics_content_3_title_width () Real)
(declare-fun pics_content_3_title_kid_1_width () Real)
(declare-fun pics_content_3_title_kid_1_x () Real)
(declare-fun pics_content_3_title_kid_0_x () Real)
(declare-fun pics_content_3_title_kid_0_width () Real)
(declare-fun pics_content_3_pic_width () Real)
(declare-fun pics_content_3_pic_hight () Real)
(declare-fun pics_content_3_pic_y () Real)
(declare-fun pics_content_3_pic_x () Real)
(declare-fun pics_content_2_title_kid_2_y () Real)
(declare-fun pics_content_2_title_kid_1_hight () Real)
(declare-fun pics_content_2_title_kid_1_y () Real)
(declare-fun pics_content_2_title_kid_0_hight () Real)
(declare-fun pics_content_2_title_kid_0_y () Real)
(declare-fun pics_content_2_title_hight () Real)
(declare-fun pics_content_2_title_y () Real)
(declare-fun pics_content_2_title_kid_2_hight () Real)
(declare-fun pics_content_2_title_x () Real)
(declare-fun pics_content_2_title_kid_2_width () Real)
(declare-fun pics_content_2_title_kid_2_x () Real)
(declare-fun pics_content_2_title_width () Real)
(declare-fun pics_content_2_title_kid_1_width () Real)
(declare-fun pics_content_2_title_kid_1_x () Real)
(declare-fun pics_content_2_title_kid_0_width () Real)
(declare-fun pics_content_2_title_kid_0_x () Real)
(declare-fun pics_content_2_pic_hight () Real)
(declare-fun pics_content_2_pic_width () Real)
(declare-fun pics_content_2_pic_y () Real)
(declare-fun pics_content_2_pic_x () Real)
(declare-fun pics_content_1_title_kid_1_hight () Real)
(declare-fun pics_content_1_title_kid_1_y () Real)
(declare-fun pics_content_1_title_kid_2_y () Real)
(declare-fun pics_content_1_title_kid_0_y () Real)
(declare-fun pics_content_1_title_kid_0_hight () Real)
(declare-fun pics_content_1_title_hight () Real)
(declare-fun pics_content_1_title_y () Real)
(declare-fun pics_content_1_title_kid_2_hight () Real)
(declare-fun pics_content_1_title_kid_2_x () Real)
(declare-fun pics_content_1_title_width () Real)
(declare-fun pics_content_1_title_x () Real)
(declare-fun pics_content_1_title_kid_2_width () Real)
(declare-fun pics_content_1_title_kid_1_width () Real)
(declare-fun pics_content_1_title_kid_1_x () Real)
(declare-fun pics_content_1_title_kid_0_width () Real)
(declare-fun pics_content_1_title_kid_0_x () Real)
(declare-fun pics_content_1_pic_width () Real)
(declare-fun pics_content_1_pic_hight () Real)
(declare-fun pics_content_1_pic_y () Real)
(declare-fun pics_content_1_pic_x () Real)
(declare-fun pics_content_0_title_kid_1_hight () Real)
(declare-fun pics_content_0_title_kid_1_y () Real)
(declare-fun pics_content_0_title_kid_2_y () Real)
(declare-fun pics_content_0_title_kid_0_y () Real)
(declare-fun pics_content_0_title_kid_0_hight () Real)
(declare-fun pics_content_0_title_y () Real)
(declare-fun pics_content_0_title_kid_2_hight () Real)
(declare-fun pics_content_0_title_hight () Real)
(declare-fun pics_content_0_title_kid_2_x () Real)
(declare-fun pics_content_0_title_width () Real)
(declare-fun pics_content_0_title_x () Real)
(declare-fun pics_content_0_title_kid_2_width () Real)
(declare-fun pics_content_0_title_kid_1_x () Real)
(declare-fun pics_content_0_title_kid_1_width () Real)
(declare-fun pics_content_0_title_kid_0_x () Real)
(declare-fun pics_content_0_title_kid_0_width () Real)
(declare-fun pics_content_0_pic_y () Real)
(declare-fun pics_content_0_pic_x () Real)
(declare-fun main_pic_1_tbl_hight () Real)
(declare-fun main_pic_1_tbl_y () Real)
(declare-fun main_pic_1_tbl_width () Real)
(declare-fun main_pic_1_tbl_x () Real)
(declare-fun main_pic_1_top_hight () Real)
(declare-fun main_pic_1_top_y () Real)
(declare-fun main_pic_1_top_x () Real)
(declare-fun main_pic_1_top_width () Real)
(declare-fun main_pic_1_y () Real)
(declare-fun main_pic_1_hight () Real)
(declare-fun main_pic_1_width () Real)
(declare-fun main_pic_1_x () Real)
(declare-fun main_pics_holder_hight () Real)
(declare-fun main_pics_holder_y () Real)
(declare-fun main_pics_holder_width () Real)
(declare-fun main_pics_holder_x () Real)
(declare-fun main_news_kid_0_width () Real)
(declare-fun main_news_kid_0_x () Real)
(declare-fun main_news_kid_1_x () Real)
(declare-fun main_news_kid_1_y () Real)
(declare-fun main_news_hight () Real)
(declare-fun main_news_y () Real)
(declare-fun main_news_kid_1_hight () Real)
(declare-fun main_news_width () Real)
(declare-fun main_news_x () Real)
(declare-fun main_news_kid_1_width () Real)
(declare-fun main_news_kid_0_hight () Real)
(declare-fun main_news_kid_0_y () Real)
(declare-fun meituan_slogan_y () Real)
(declare-fun meituan_learn_more_y () Real)
(declare-fun meituan_slogan_hight () Real)
(declare-fun meituan_is_a_retail_comp_y () Real)
(declare-fun meituan_is_a_retail_comp_hight () Real)
(declare-fun main_title_2_y () Real)
(declare-fun meituan_learn_more_hight () Real)
(declare-fun main_title_2_hight () Real)
(declare-fun meituan_learn_more_width () Real)
(declare-fun meituan_learn_more_x () Real)
(declare-fun main_title_2_width () Real)
(declare-fun main_title_2_x () Real)
(declare-fun meituan_slogan_width () Real)
(declare-fun meituan_slogan_x () Real)
(declare-fun meituan_is_a_retail_comp_width () Real)
(declare-fun meituan_is_a_retail_comp_x () Real)
(declare-fun meituan_detail_info_hight () Real)
(declare-fun meituan_detail_info_y () Real)
(declare-fun download_app_y () Real)
(declare-fun download_app_hight () Real)
(declare-fun main_title_1_hight () Real)
(declare-fun main_title_1_y () Real)
(declare-fun download_app_width () Real)
(declare-fun download_app_x () Real)
(declare-fun main_title_1_width () Real)
(declare-fun main_title_1_x () Real)
(declare-fun meituan_detail_info_x () Real)
(declare-fun meituan_detail_info_width () Real)
(declare-fun main_title_holder_hight () Real)
(declare-fun main_title_holder_y () Real)
(declare-fun main_title_holder_x () Real)
(declare-fun main_title_holder_width () Real)
(declare-fun main_body_hight () Real)
(declare-fun main_body_y () Real)
(declare-fun less_width () Real)
(declare-fun icons_x () Real)
(declare-fun less_x () Real)
(declare-fun icons_y () Real)
(declare-fun thin_title_hight () Real)
(declare-fun icons_hight () Real)
(declare-fun thin_title_y () Real)
(declare-fun thin_title_width () Real)
(declare-fun icons_width () Real)
(declare-fun thin_title_x () Real)
(declare-fun less_hight () Real)
(declare-fun less_y () Real)
(declare-fun home_pages_kid_0_width () Real)
(declare-fun home_pages_kid_6_width () Real)
(declare-fun home_pages_kid_5_width () Real)
(declare-fun home_pages_kid_4_width () Real)
(declare-fun home_pages_kid_3_width () Real)
(declare-fun home_pages_kid_2_width () Real)
(declare-fun home_pages_kid_1_width () Real)
(declare-fun home_pages_kid_6_x () Real)
(declare-fun home_pages_kid_5_x () Real)
(declare-fun home_pages_kid_4_x () Real)
(declare-fun home_pages_kid_3_x () Real)
(declare-fun home_pages_kid_2_x () Real)
(declare-fun home_pages_kid_1_x () Real)
(declare-fun home_pages_kid_0_x () Real)
(declare-fun home_pages_kid_6_y () Real)
(declare-fun home_pages_hight () Real)
(declare-fun home_pages_y () Real)
(declare-fun home_pages_kid_6_hight () Real)
(declare-fun home_pages_kid_5_y () Real)
(declare-fun home_pages_kid_5_hight () Real)
(declare-fun home_pages_kid_4_hight () Real)
(declare-fun home_pages_kid_4_y () Real)
(declare-fun home_pages_kid_3_hight () Real)
(declare-fun home_pages_kid_3_y () Real)
(declare-fun home_pages_kid_2_hight () Real)
(declare-fun home_pages_kid_2_y () Real)
(declare-fun home_pages_kid_1_hight () Real)
(declare-fun home_pages_kid_1_y () Real)
(declare-fun home_pages_kid_0_y () Real)
(declare-fun home_pages_kid_0_hight () Real)
(declare-fun home_pages_x () Real)
(declare-fun home_pages_width () Real)
(declare-fun wide_title_width () Real)
(declare-fun wide_title_x () Real)
(declare-fun downloads_x () Real)
(declare-fun downloads_width () Real)
(declare-fun downloads_kid_0_width () Real)
(declare-fun downloads_kid_1_x () Real)
(declare-fun downloads_kid_0_x () Real)
(declare-fun downloads_hight () Real)
(declare-fun downloads_y () Real)
(declare-fun downloads_kid_1_hight () Real)
(declare-fun downloads_kid_1_y () Real)
(declare-fun downloads_kid_1_width () Real)
(declare-fun downloads_kid_0_y () Real)
(declare-fun downloads_kid_0_hight () Real)
(declare-fun icons_kid_1_width () Real)
(declare-fun icons_kid_0_width () Real)
(declare-fun icons_kid_0_x () Real)
(declare-fun icons_kid_1_x () Real)
(declare-fun icons_kid_1_hight () Real)
(declare-fun icons_kid_1_y () Real)
(declare-fun icons_kid_0_hight () Real)
(declare-fun icons_kid_0_y () Real)
(declare-fun wide_title_hight () Real)
(declare-fun wide_title_y () Real)
(declare-fun back_ground_y () Real)
(declare-fun title_holder_y () Real)
(declare-fun title_holder_width () Real)
(declare-fun title_holder_x () Real)
(declare-fun title_holder_hight () Real)
(declare-fun BC_y () Real)
(declare-fun BC_width () Real)
(declare-fun BC_x () Real)
(declare-fun read_more_y () Real)
(declare-fun back_ground_hight () Real)
(declare-fun BC_feasible () Bool)
(declare-fun BC_hight () Real)
(assert
 (let (($x3737 (not mt_list2_feasible)))
 (let (($x4055 (or $x3737 mt_list2_kid_3_feasible)))
 (let (($x4053 (not mt_list2_kid_3_feasible)))
 (let (($x4054 (or $x4053 mt_list2_feasible)))
 (let (($x4052 (or $x3737 mt_list2_kid_2_feasible)))
 (let (($x4050 (not mt_list2_kid_2_feasible)))
 (let (($x4051 (or $x4050 mt_list2_feasible)))
 (let (($x4049 (or $x3737 mt_list2_kid_1_feasible)))
 (let (($x4047 (not mt_list2_kid_1_feasible)))
 (let (($x4048 (or $x4047 mt_list2_feasible)))
 (let (($x4046 (or $x3737 mt_list2_kid_0_feasible)))
 (let (($x4044 (not mt_list2_kid_0_feasible)))
 (let (($x4045 (or $x4044 mt_list2_feasible)))
 (let (($x3370 (not mt_bottom_1_feasible)))
 (let (($x4043 (or $x3370 mt_list2_feasible)))
 (let (($x4042 (or $x3737 mt_bottom_1_feasible)))
 (let (($x3484 (not mt_lists_feasible)))
 (let (($x4041 (or $x3484 mt_lists_kid_4_feasible)))
 (let (($x4039 (not mt_lists_kid_4_feasible)))
 (let (($x4040 (or $x4039 mt_lists_feasible)))
 (let (($x4038 (or $x3484 mt_lists_kid_3_feasible)))
 (let (($x4036 (not mt_lists_kid_3_feasible)))
 (let (($x4037 (or $x4036 mt_lists_feasible)))
 (let (($x4035 (or $x3484 mt_lists_kid_2_feasible)))
 (let (($x4033 (not mt_lists_kid_2_feasible)))
 (let (($x4034 (or $x4033 mt_lists_feasible)))
 (let (($x4032 (or $x3484 mt_lists_kid_1_feasible)))
 (let (($x4030 (not mt_lists_kid_1_feasible)))
 (let (($x4031 (or $x4030 mt_lists_feasible)))
 (let (($x4029 (or $x3484 mt_lists_kid_0_feasible)))
 (let (($x4027 (not mt_lists_kid_0_feasible)))
 (let (($x4028 (or $x4027 mt_lists_feasible)))
 (let (($x3355 (not mt_bottom_0_feasible)))
 (let (($x4026 (or $x3355 mt_lists_feasible)))
 (let (($x4025 (or $x3484 mt_bottom_0_feasible)))
 (let (($x4022 (not mt_icons_feasible)))
 (let (($x4024 (or $x3355 $x3370 $x4022)))
 (let (($x4023 (or mt_bottom_0_feasible mt_bottom_1_feasible $x4022)))
 (let (($x4021 (or $x3370 mt_icons_feasible)))
 (let (($x4020 (or $x3355 mt_icons_feasible)))
 (let (($x3008 (not pics_content_7_title_feasible)))
 (let (($x4019 (or $x3008 pics_content_7_title_kid_2_feasible)))
 (let (($x4017 (not pics_content_7_title_kid_2_feasible)))
 (let (($x4018 (or $x4017 pics_content_7_title_feasible)))
 (let (($x4016 (or $x3008 pics_content_7_title_kid_1_feasible)))
 (let (($x4014 (not pics_content_7_title_kid_1_feasible)))
 (let (($x4015 (or $x4014 pics_content_7_title_feasible)))
 (let (($x4013 (or $x3008 pics_content_7_title_kid_0_feasible)))
 (let (($x4011 (not pics_content_7_title_kid_0_feasible)))
 (let (($x4012 (or $x4011 pics_content_7_title_feasible)))
 (let (($x2963 (not pics_content_7_feasible)))
 (let (($x4010 (or $x2963 pics_content_7_title_feasible)))
 (let (($x4009 (or $x3008 pics_content_7_feasible)))
 (let (($x4008 (or $x2963 pics_content_7_pic_feasible)))
 (let (($x4006 (not pics_content_7_pic_feasible)))
 (let (($x4007 (or $x4006 pics_content_7_feasible)))
 (let (($x2854 (not pics_content_6_title_feasible)))
 (let (($x4005 (or $x2854 pics_content_6_title_kid_2_feasible)))
 (let (($x4003 (not pics_content_6_title_kid_2_feasible)))
 (let (($x4004 (or $x4003 pics_content_6_title_feasible)))
 (let (($x4002 (or $x2854 pics_content_6_title_kid_1_feasible)))
 (let (($x4000 (not pics_content_6_title_kid_1_feasible)))
 (let (($x4001 (or $x4000 pics_content_6_title_feasible)))
 (let (($x3999 (or $x2854 pics_content_6_title_kid_0_feasible)))
 (let (($x3997 (not pics_content_6_title_kid_0_feasible)))
 (let (($x3998 (or $x3997 pics_content_6_title_feasible)))
 (let (($x2810 (not pics_content_6_feasible)))
 (let (($x3996 (or $x2810 pics_content_6_title_feasible)))
 (let (($x3995 (or $x2854 pics_content_6_feasible)))
 (let (($x3994 (or $x2810 pics_content_6_pic_feasible)))
 (let (($x3992 (not pics_content_6_pic_feasible)))
 (let (($x3993 (or $x3992 pics_content_6_feasible)))
 (let (($x2704 (not pics_content_5_title_feasible)))
 (let (($x3991 (or $x2704 pics_content_5_title_kid_2_feasible)))
 (let (($x3989 (not pics_content_5_title_kid_2_feasible)))
 (let (($x3990 (or $x3989 pics_content_5_title_feasible)))
 (let (($x3988 (or $x2704 pics_content_5_title_kid_1_feasible)))
 (let (($x3986 (not pics_content_5_title_kid_1_feasible)))
 (let (($x3987 (or $x3986 pics_content_5_title_feasible)))
 (let (($x3985 (or $x2704 pics_content_5_title_kid_0_feasible)))
 (let (($x3983 (not pics_content_5_title_kid_0_feasible)))
 (let (($x3984 (or $x3983 pics_content_5_title_feasible)))
 (let (($x2660 (not pics_content_5_feasible)))
 (let (($x3982 (or $x2660 pics_content_5_title_feasible)))
 (let (($x3981 (or $x2704 pics_content_5_feasible)))
 (let (($x3980 (or $x2660 pics_content_5_pic_feasible)))
 (let (($x3978 (not pics_content_5_pic_feasible)))
 (let (($x3979 (or $x3978 pics_content_5_feasible)))
 (let (($x2549 (not pics_content_4_title_feasible)))
 (let (($x3977 (or $x2549 pics_content_4_title_kid_2_feasible)))
 (let (($x3975 (not pics_content_4_title_kid_2_feasible)))
 (let (($x3976 (or $x3975 pics_content_4_title_feasible)))
 (let (($x3974 (or $x2549 pics_content_4_title_kid_1_feasible)))
 (let (($x3972 (not pics_content_4_title_kid_1_feasible)))
 (let (($x3973 (or $x3972 pics_content_4_title_feasible)))
 (let (($x3971 (or $x2549 pics_content_4_title_kid_0_feasible)))
 (let (($x3969 (not pics_content_4_title_kid_0_feasible)))
 (let (($x3970 (or $x3969 pics_content_4_title_feasible)))
 (let (($x2505 (not pics_content_4_feasible)))
 (let (($x3968 (or $x2505 pics_content_4_title_feasible)))
 (let (($x3967 (or $x2549 pics_content_4_feasible)))
 (let (($x3966 (or $x2505 pics_content_4_pic_feasible)))
 (let (($x3964 (not pics_content_4_pic_feasible)))
 (let (($x3965 (or $x3964 pics_content_4_feasible)))
 (let (($x2395 (not pics_content_3_title_feasible)))
 (let (($x3963 (or $x2395 pics_content_3_title_kid_2_feasible)))
 (let (($x3961 (not pics_content_3_title_kid_2_feasible)))
 (let (($x3962 (or $x3961 pics_content_3_title_feasible)))
 (let (($x3960 (or $x2395 pics_content_3_title_kid_1_feasible)))
 (let (($x3958 (not pics_content_3_title_kid_1_feasible)))
 (let (($x3959 (or $x3958 pics_content_3_title_feasible)))
 (let (($x3957 (or $x2395 pics_content_3_title_kid_0_feasible)))
 (let (($x3955 (not pics_content_3_title_kid_0_feasible)))
 (let (($x3956 (or $x3955 pics_content_3_title_feasible)))
 (let (($x2351 (not pics_content_3_feasible)))
 (let (($x3954 (or $x2351 pics_content_3_title_feasible)))
 (let (($x3953 (or $x2395 pics_content_3_feasible)))
 (let (($x3952 (or $x2351 pics_content_3_pic_feasible)))
 (let (($x3950 (not pics_content_3_pic_feasible)))
 (let (($x3951 (or $x3950 pics_content_3_feasible)))
 (let (($x2242 (not pics_content_2_title_feasible)))
 (let (($x3949 (or $x2242 pics_content_2_title_kid_2_feasible)))
 (let (($x3947 (not pics_content_2_title_kid_2_feasible)))
 (let (($x3948 (or $x3947 pics_content_2_title_feasible)))
 (let (($x3946 (or $x2242 pics_content_2_title_kid_1_feasible)))
 (let (($x3944 (not pics_content_2_title_kid_1_feasible)))
 (let (($x3945 (or $x3944 pics_content_2_title_feasible)))
 (let (($x3943 (or $x2242 pics_content_2_title_kid_0_feasible)))
 (let (($x3941 (not pics_content_2_title_kid_0_feasible)))
 (let (($x3942 (or $x3941 pics_content_2_title_feasible)))
 (let (($x2199 (not pics_content_2_feasible)))
 (let (($x3940 (or $x2199 pics_content_2_title_feasible)))
 (let (($x3939 (or $x2242 pics_content_2_feasible)))
 (let (($x3938 (or $x2199 pics_content_2_pic_feasible)))
 (let (($x3936 (not pics_content_2_pic_feasible)))
 (let (($x3937 (or $x3936 pics_content_2_feasible)))
 (let (($x2089 (not pics_content_1_title_feasible)))
 (let (($x3935 (or $x2089 pics_content_1_title_kid_2_feasible)))
 (let (($x3933 (not pics_content_1_title_kid_2_feasible)))
 (let (($x3934 (or $x3933 pics_content_1_title_feasible)))
 (let (($x3932 (or $x2089 pics_content_1_title_kid_1_feasible)))
 (let (($x3930 (not pics_content_1_title_kid_1_feasible)))
 (let (($x3931 (or $x3930 pics_content_1_title_feasible)))
 (let (($x3929 (or $x2089 pics_content_1_title_kid_0_feasible)))
 (let (($x3927 (not pics_content_1_title_kid_0_feasible)))
 (let (($x3928 (or $x3927 pics_content_1_title_feasible)))
 (let (($x2045 (not pics_content_1_feasible)))
 (let (($x3926 (or $x2045 pics_content_1_title_feasible)))
 (let (($x3925 (or $x2089 pics_content_1_feasible)))
 (let (($x3924 (or $x2045 pics_content_1_pic_feasible)))
 (let (($x3922 (not pics_content_1_pic_feasible)))
 (let (($x3923 (or $x3922 pics_content_1_feasible)))
 (let (($x1938 (not pics_content_0_title_feasible)))
 (let (($x3921 (or $x1938 pics_content_0_title_kid_2_feasible)))
 (let (($x3919 (not pics_content_0_title_kid_2_feasible)))
 (let (($x3920 (or $x3919 pics_content_0_title_feasible)))
 (let (($x3918 (or $x1938 pics_content_0_title_kid_1_feasible)))
 (let (($x3916 (not pics_content_0_title_kid_1_feasible)))
 (let (($x3917 (or $x3916 pics_content_0_title_feasible)))
 (let (($x3915 (or $x1938 pics_content_0_title_kid_0_feasible)))
 (let (($x3913 (not pics_content_0_title_kid_0_feasible)))
 (let (($x3914 (or $x3913 pics_content_0_title_feasible)))
 (let (($x1897 (not pics_content_0_feasible)))
 (let (($x3912 (or $x1897 pics_content_0_title_feasible)))
 (let (($x3911 (or $x1938 pics_content_0_feasible)))
 (let (($x3910 (or $x1897 pics_content_0_pic_feasible)))
 (let (($x3908 (not pics_content_0_pic_feasible)))
 (let (($x3909 (or $x3908 pics_content_0_feasible)))
 (let (($x1637 (not main_pic_2_feasible)))
 (let (($x1795 (not main_pic_1_tbl_feasible)))
 (let (($x3907 (or $x1795 $x1637 $x2963)))
 (let (($x3906 (or main_pic_1_tbl_feasible main_pic_2_feasible $x2963)))
 (let (($x3905 (or $x1637 pics_content_7_feasible)))
 (let (($x3904 (or $x1795 pics_content_7_feasible)))
 (let (($x3903 (or $x1795 $x1637 $x2810)))
 (let (($x3902 (or main_pic_1_tbl_feasible main_pic_2_feasible $x2810)))
 (let (($x3901 (or $x1637 pics_content_6_feasible)))
 (let (($x3900 (or $x1795 pics_content_6_feasible)))
 (let (($x3899 (or $x1795 $x1637 $x2660)))
 (let (($x3898 (or main_pic_1_tbl_feasible main_pic_2_feasible $x2660)))
 (let (($x3897 (or $x1637 pics_content_5_feasible)))
 (let (($x3896 (or $x1795 pics_content_5_feasible)))
 (let (($x3895 (or $x1795 $x1637 $x2505)))
 (let (($x3894 (or main_pic_1_tbl_feasible main_pic_2_feasible $x2505)))
 (let (($x3893 (or $x1637 pics_content_4_feasible)))
 (let (($x3892 (or $x1795 pics_content_4_feasible)))
 (let (($x3891 (or $x1795 $x1637 $x2351)))
 (let (($x3890 (or main_pic_1_tbl_feasible main_pic_2_feasible $x2351)))
 (let (($x3889 (or $x1637 pics_content_3_feasible)))
 (let (($x3888 (or $x1795 pics_content_3_feasible)))
 (let (($x3887 (or $x1795 $x1637 $x2199)))
 (let (($x3886 (or main_pic_1_tbl_feasible main_pic_2_feasible $x2199)))
 (let (($x3885 (or $x1637 pics_content_2_feasible)))
 (let (($x3884 (or $x1795 pics_content_2_feasible)))
 (let (($x1701 (not main_pic_1_top_feasible)))
 (let (($x3883 (or $x1701 $x1637 $x2045)))
 (let (($x3882 (or main_pic_1_top_feasible main_pic_2_feasible $x2045)))
 (let (($x3881 (or $x1637 pics_content_1_feasible)))
 (let (($x3880 (or $x1701 pics_content_1_feasible)))
 (let (($x3879 (or $x1701 $x1637 $x1897)))
 (let (($x3878 (or main_pic_1_top_feasible main_pic_2_feasible $x1897)))
 (let (($x3877 (or $x1637 pics_content_0_feasible)))
 (let (($x3876 (or $x1701 pics_content_0_feasible)))
 (let (($x1620 (not main_pic_1_feasible)))
 (let (($x3875 (or $x1620 main_pic_1_tbl_feasible)))
 (let (($x3874 (or $x1795 main_pic_1_feasible)))
 (let (($x3873 (or $x1620 main_pic_1_top_feasible)))
 (let (($x3872 (or $x1701 main_pic_1_feasible)))
 (let (($x1261 (not main_title_2_feasible)))
 (let (($x3871 (or $x1261 meituan_learn_more_feasible)))
 (let (($x3869 (not meituan_learn_more_feasible)))
 (let (($x3870 (or $x3869 main_title_2_feasible)))
 (let (($x1244 (not main_title_1_feasible)))
 (let (($x3868 (or $x1244 download_app_feasible)))
 (let (($x3866 (not download_app_feasible)))
 (let (($x3867 (or $x3866 main_title_1_feasible)))
 (let (($x3865 (or $x1244 meituan_detail_info_feasible)))
 (let (($x3863 (not meituan_detail_info_feasible)))
 (let (($x3864 (or $x3863 main_title_1_feasible)))
 (let (($x3860 (not meituan_slogan_feasible)))
 (let (($x3862 (or $x1244 $x1261 $x3860)))
 (let (($x3861 (or main_title_1_feasible main_title_2_feasible $x3860)))
 (let (($x3859 (or $x1261 meituan_slogan_feasible)))
 (let (($x3858 (or $x1244 meituan_slogan_feasible)))
 (let (($x3855 (not meituan_is_a_retail_comp_feasible)))
 (let (($x3857 (or $x1244 $x1261 $x3855)))
 (let (($x3856 (or main_title_1_feasible main_title_2_feasible $x3855)))
 (let (($x3854 (or $x1261 meituan_is_a_retail_comp_feasible)))
 (let (($x3853 (or $x1244 meituan_is_a_retail_comp_feasible)))
 (let (($x637 (not thin_title_feasible)))
 (let (($x3852 (or $x637 less_feasible)))
 (let (($x3850 (not less_feasible)))
 (let (($x3851 (or $x3850 thin_title_feasible)))
 (let (($x959 (not home_pages_feasible)))
 (let (($x3849 (or $x959 home_pages_kid_6_feasible)))
 (let (($x3847 (not home_pages_kid_6_feasible)))
 (let (($x3848 (or $x3847 home_pages_feasible)))
 (let (($x3846 (or $x959 home_pages_kid_5_feasible)))
 (let (($x3844 (not home_pages_kid_5_feasible)))
 (let (($x3845 (or $x3844 home_pages_feasible)))
 (let (($x3843 (or $x959 home_pages_kid_4_feasible)))
 (let (($x3841 (not home_pages_kid_4_feasible)))
 (let (($x3842 (or $x3841 home_pages_feasible)))
 (let (($x3840 (or $x959 home_pages_kid_3_feasible)))
 (let (($x3838 (not home_pages_kid_3_feasible)))
 (let (($x3839 (or $x3838 home_pages_feasible)))
 (let (($x3837 (or $x959 home_pages_kid_2_feasible)))
 (let (($x3835 (not home_pages_kid_2_feasible)))
 (let (($x3836 (or $x3835 home_pages_feasible)))
 (let (($x3834 (or $x959 home_pages_kid_1_feasible)))
 (let (($x3832 (not home_pages_kid_1_feasible)))
 (let (($x3833 (or $x3832 home_pages_feasible)))
 (let (($x3831 (or $x959 home_pages_kid_0_feasible)))
 (let (($x3829 (not home_pages_kid_0_feasible)))
 (let (($x3830 (or $x3829 home_pages_feasible)))
 (let (($x848 (not downloads_feasible)))
 (let (($x3828 (or $x848 downloads_kid_1_feasible)))
 (let (($x3826 (not downloads_kid_1_feasible)))
 (let (($x3827 (or $x3826 downloads_feasible)))
 (let (($x3825 (or $x848 downloads_kid_0_feasible)))
 (let (($x3823 (not downloads_kid_0_feasible)))
 (let (($x3824 (or $x3823 downloads_feasible)))
 (let (($x765 (not icons_feasible)))
 (let (($x3822 (or $x765 icons_kid_1_feasible)))
 (let (($x3820 (not icons_kid_1_feasible)))
 (let (($x3821 (or $x3820 icons_feasible)))
 (let (($x3819 (or $x765 icons_kid_0_feasible)))
 (let (($x3817 (not icons_kid_0_feasible)))
 (let (($x3818 (or $x3817 icons_feasible)))
 (let (($x620 (not wide_title_feasible)))
 (let (($x3816 (or $x620 downloads_feasible)))
 (let (($x3815 (or $x848 wide_title_feasible)))
 (let (($x3814 (or $x620 home_pages_feasible)))
 (let (($x3813 (or $x959 wide_title_feasible)))
 (let (($x3812 (or $x620 $x637 $x765)))
 (let (($x3811 (or wide_title_feasible thin_title_feasible $x765)))
 (let (($x3810 (or $x637 icons_feasible)))
 (let (($x3809 (or $x620 icons_feasible)))
 (let (($x3808 (or $x3737 (= (+ (- mt_list2_kid_3_hight) mt_list2_kid_0_hight) 0.0))))
 (let (($x3804 (or $x3737 (= (+ (- mt_list2_kid_2_hight) mt_list2_kid_0_hight) 0.0))))
 (let (($x3800 (or $x3737 (= (+ (- mt_list2_kid_1_hight) mt_list2_kid_0_hight) 0.0))))
 (let (($x3796 (= mt_list2_hight 200.0)))
 (let ((?x3793 (- (+ (- mt_list2_x mt_bottom_1_x) mt_list2_width) mt_bottom_1_width)))
 (let (($x3795 (or $x3370 (= ?x3793 0.0))))
 (let (($x3791 (or $x3370 (= (- mt_list2_x mt_bottom_1_x) 0.0))))
 (let (($x3788 (= (- (- mt_list2_kid_3_y mt_list2_kid_2_y) mt_list2_kid_2_hight) 0.0)))
 (let (($x3789 (or $x3737 $x3788)))
 (let (($x3784 (= (- (+ (- mt_list2_kid_1_y) mt_list2_kid_2_y) mt_list2_kid_1_hight) 0.0)))
 (let (($x3785 (or $x3737 $x3784)))
 (let (($x3779 (= (- (- mt_list2_kid_1_y mt_list2_kid_0_y) mt_list2_kid_0_hight) 0.0)))
 (let (($x3780 (or $x3737 $x3779)))
 (let ((?x3774 (- (+ (+ (- mt_list2_hight) mt_list2_kid_3_y) mt_list2_kid_3_hight) mt_list2_y)))
 (let (($x3776 (or $x3737 (= ?x3774 0.0))))
 (let (($x3771 (or $x3737 (= (- mt_list2_kid_0_y mt_list2_y) 0.0))))
 (let ((?x3766 (+ (+ (- (- mt_list2_x) mt_list2_width) mt_list2_kid_3_x) mt_list2_kid_3_width)))
 (let (($x3768 (or $x3737 (= ?x3766 0.0))))
 (let ((?x3762 (+ (- (- mt_list2_kid_2_width mt_list2_x) mt_list2_width) mt_list2_kid_2_x)))
 (let (($x3764 (or $x3737 (= ?x3762 0.0))))
 (let ((?x3757 (+ (+ (- (- mt_list2_x) mt_list2_width) mt_list2_kid_1_x) mt_list2_kid_1_width)))
 (let (($x3759 (or $x3737 (= ?x3757 0.0))))
 (let ((?x3752 (+ (- (+ (- mt_list2_x) mt_list2_kid_0_width) mt_list2_width) mt_list2_kid_0_x)))
 (let (($x3754 (or $x3737 (= ?x3752 0.0))))
 (let (($x3749 (or $x3737 (= (+ (- mt_list2_x) mt_list2_kid_3_x) 0.0))))
 (let (($x3746 (or $x3737 (= (+ (- mt_list2_x) mt_list2_kid_2_x) 0.0))))
 (let (($x3743 (or $x3737 (= (+ (- mt_list2_x) mt_list2_kid_1_x) 0.0))))
 (let (($x3740 (or $x3737 (= (+ (- mt_list2_x) mt_list2_kid_0_x) 0.0))))
 (let (($x3736 (>= mt_list2_kid_3_hight 0.0)))
 (let (($x3735 (>= mt_list2_kid_3_width 0.0)))
 (let (($x3734 (>= mt_list2_kid_3_y 0.0)))
 (let (($x3733 (>= mt_list2_kid_3_x 0.0)))
 (let (($x3732 (>= mt_list2_kid_2_hight 0.0)))
 (let (($x3731 (>= mt_list2_kid_2_width 0.0)))
 (let (($x3730 (>= mt_list2_kid_2_y 0.0)))
 (let (($x3729 (>= mt_list2_kid_2_x 0.0)))
 (let (($x3728 (>= mt_list2_kid_1_hight 0.0)))
 (let (($x3727 (>= mt_list2_kid_1_width 0.0)))
 (let (($x3726 (>= mt_list2_kid_1_y 0.0)))
 (let (($x3725 (>= mt_list2_kid_1_x 0.0)))
 (let (($x3724 (>= mt_list2_kid_0_hight 0.0)))
 (let (($x3723 (>= mt_list2_kid_0_width 0.0)))
 (let (($x3722 (>= mt_list2_kid_0_y 0.0)))
 (let (($x3721 (>= mt_list2_kid_0_x 0.0)))
 (let ((?x3718 (+ (- (- mt_icons_hight mt_bottom_1_hight) mt_bottom_1_y) mt_icons_y)))
 (let (($x3720 (or $x3370 (= ?x3718 0.0))))
 (let (($x3715 (or $x3370 (= (- mt_list2_y mt_bottom_1_y) 0.0))))
 (let (($x3713 (or $x3370 (>= (+ (- (- mt_list2_hight) mt_list2_y) mt_icons_y) 0.0))))
 (let ((?x3709 (- (+ (+ (- mt_icons_hight) mt_bottom_1_hight) mt_bottom_1_y) mt_icons_y)))
 (let (($x3711 (or $x3370 (>= ?x3709 0.0))))
 (let (($x3705 (or $x3370 (>= (+ (- mt_bottom_1_y) mt_icons_y) 0.0))))
 (let ((?x3699 (- (+ (- mt_bottom_1_x mt_icons_x) mt_bottom_1_width) mt_icons_width)))
 (let (($x3701 (or $x3370 (>= ?x3699 0.0))))
 (let (($x3696 (or $x3370 (>= (+ (- mt_bottom_1_x) mt_icons_x) 0.0))))
 (let ((?x3690 (+ (- (+ (- mt_list2_hight) mt_bottom_1_hight) mt_list2_y) mt_bottom_1_y)))
 (let (($x3692 (or $x3370 (>= ?x3690 0.0))))
 (let (($x3687 (or $x3370 (>= (- mt_list2_y mt_bottom_1_y) 0.0))))
 (let ((?x3682 (+ (- (+ (- mt_list2_x) mt_bottom_1_x) mt_list2_width) mt_bottom_1_width)))
 (let (($x3684 (or $x3370 (>= ?x3682 0.0))))
 (let (($x3678 (or $x3370 (>= (- mt_list2_x mt_bottom_1_x) 0.0))))
 (let (($x3675 (or $x3370 (= (+ (- (- mt_list2_hight) mt_list2_y) mt_icons_y) 20.0))))
 (let ((?x3665 (* 2.0 mt_icons_x)))
 (let ((?x3664 (* (- 2.0) mt_bottom_1_x)))
 (let ((?x3666 (+ ?x3664 ?x3665)))
 (let (($x3670 (or $x3370 (= (+ (- ?x3666 mt_bottom_1_width) mt_icons_width) 0.0))))
 (let (($x3663 (>= mt_list2_hight 0.0)))
 (let (($x3662 (>= mt_list2_width 0.0)))
 (let (($x3661 (>= mt_list2_y 0.0)))
 (let (($x3660 (>= mt_list2_x 0.0)))
 (let (($x3658 (>= (- (- mt_lists_kid_4_x mt_lists_kid_3_x) mt_lists_kid_3_width) 0.0)))
 (let (($x3659 (or $x3484 $x3658)))
 (let (($x3654 (>= (- (- mt_lists_kid_3_x mt_lists_kid_2_x) mt_lists_kid_2_width) 0.0)))
 (let (($x3655 (or $x3484 $x3654)))
 (let (($x3650 (>= (+ (- (- mt_lists_kid_1_width) mt_lists_kid_1_x) mt_lists_kid_2_x) 0.0)))
 (let (($x3651 (or $x3484 $x3650)))
 (let (($x3645 (>= (- (+ (- mt_lists_kid_0_width) mt_lists_kid_1_x) mt_lists_kid_0_x) 0.0)))
 (let (($x3646 (or $x3484 $x3645)))
 (let ((?x3639 (+ (- (+ (- mt_lists_kid_4_hight) mt_lists_y) mt_lists_kid_4_y) mt_lists_hight)))
 (let (($x3641 (or $x3484 (>= ?x3639 0.0))))
 (let (($x3635 (or $x3484 (>= (+ (- mt_lists_y) mt_lists_kid_4_y) 0.0))))
 (let ((?x3631 (- (+ (- mt_lists_x mt_lists_kid_4_x) mt_lists_width) mt_lists_kid_4_width)))
 (let (($x3633 (or $x3484 (>= ?x3631 0.0))))
 (let (($x3628 (or $x3484 (>= (+ (- mt_lists_x) mt_lists_kid_4_x) 0.0))))
 (let ((?x3624 (- (+ (+ (- mt_lists_kid_3_hight) mt_lists_y) mt_lists_hight) mt_lists_kid_3_y)))
 (let (($x3626 (or $x3484 (>= ?x3624 0.0))))
 (let (($x3620 (or $x3484 (>= (+ (- mt_lists_y) mt_lists_kid_3_y) 0.0))))
 (let ((?x3616 (- (- (+ mt_lists_x mt_lists_width) mt_lists_kid_3_x) mt_lists_kid_3_width)))
 (let (($x3618 (or $x3484 (>= ?x3616 0.0))))
 (let (($x3614 (or $x3484 (>= (+ (- mt_lists_x) mt_lists_kid_3_x) 0.0))))
 (let ((?x3609 (+ (+ (- (- mt_lists_kid_2_y) mt_lists_kid_2_hight) mt_lists_y) mt_lists_hight)))
 (let (($x3611 (or $x3484 (>= ?x3609 0.0))))
 (let (($x3605 (or $x3484 (>= (- mt_lists_kid_2_y mt_lists_y) 0.0))))
 (let ((?x3601 (- (- (+ mt_lists_x mt_lists_width) mt_lists_kid_2_x) mt_lists_kid_2_width)))
 (let (($x3603 (or $x3484 (>= ?x3601 0.0))))
 (let (($x3599 (or $x3484 (>= (+ (- mt_lists_x) mt_lists_kid_2_x) 0.0))))
 (let ((?x3594 (+ (- (+ (- mt_lists_kid_1_y) mt_lists_y) mt_lists_kid_1_hight) mt_lists_hight)))
 (let (($x3596 (or $x3484 (>= ?x3594 0.0))))
 (let (($x3590 (or $x3484 (>= (- mt_lists_kid_1_y mt_lists_y) 0.0))))
 (let ((?x3586 (- (+ (- mt_lists_x mt_lists_kid_1_width) mt_lists_width) mt_lists_kid_1_x)))
 (let (($x3588 (or $x3484 (>= ?x3586 0.0))))
 (let (($x3583 (or $x3484 (>= (+ (- mt_lists_x) mt_lists_kid_1_x) 0.0))))
 (let ((?x3578 (+ (- (+ (- mt_lists_kid_0_y) mt_lists_y) mt_lists_kid_0_hight) mt_lists_hight)))
 (let (($x3580 (or $x3484 (>= ?x3578 0.0))))
 (let (($x3574 (or $x3484 (>= (- mt_lists_kid_0_y mt_lists_y) 0.0))))
 (let ((?x3570 (- (+ (- mt_lists_x mt_lists_kid_0_width) mt_lists_width) mt_lists_kid_0_x)))
 (let (($x3572 (or $x3484 (>= ?x3570 0.0))))
 (let (($x3567 (or $x3484 (>= (+ (- mt_lists_x) mt_lists_kid_0_x) 0.0))))
 (let ((?x3561 (- (- (+ mt_lists_kid_0_width mt_lists_kid_4_x) mt_lists_kid_3_x) mt_lists_kid_1_x)))
 (let (($x3565 (or $x3484 (= (+ (- ?x3561 mt_lists_kid_3_width) mt_lists_kid_0_x) 0.0))))
 (let ((?x3554 (- (- (+ mt_lists_kid_0_width mt_lists_kid_3_x) mt_lists_kid_1_x) mt_lists_kid_2_x)))
 (let (($x3558 (or $x3484 (= (- (+ ?x3554 mt_lists_kid_0_x) mt_lists_kid_2_width) 0.0))))
 (let ((?x3546 (* 2.0 mt_lists_kid_1_x)))
 (let ((?x3485 (- mt_lists_kid_0_width mt_lists_kid_1_width)))
 (let (($x3551 (or $x3484 (= (+ (+ (- ?x3485 ?x3546) mt_lists_kid_2_x) mt_lists_kid_0_x) 0.0))))
 (let ((?x3543 (+ (- (+ (- mt_lists_x) mt_lists_kid_4_x) mt_lists_width) mt_lists_kid_4_width)))
 (let (($x3545 (or $x3484 (= ?x3543 0.0))))
 (let (($x3540 (or $x3484 (= (+ (- mt_lists_x) mt_lists_kid_0_x) 0.0))))
 (let ((?x3535 (- (+ (- mt_lists_kid_4_hight mt_lists_y) mt_lists_kid_4_y) mt_lists_hight)))
 (let (($x3537 (or $x3484 (= ?x3535 0.0))))
 (let (($x3532 (or $x3484 (= (+ (- mt_lists_y) mt_lists_kid_4_y) 0.0))))
 (let ((?x3527 (+ (- (- mt_lists_kid_3_hight mt_lists_y) mt_lists_hight) mt_lists_kid_3_y)))
 (let (($x3529 (or $x3484 (= ?x3527 0.0))))
 (let (($x3524 (or $x3484 (= (+ (- mt_lists_y) mt_lists_kid_3_y) 0.0))))
 (let ((?x3518 (- (- (+ mt_lists_kid_2_y mt_lists_kid_2_hight) mt_lists_y) mt_lists_hight)))
 (let (($x3520 (or $x3484 (= ?x3518 0.0))))
 (let (($x3515 (or $x3484 (= (- mt_lists_kid_2_y mt_lists_y) 0.0))))
 (let ((?x3510 (- (+ (- mt_lists_kid_1_y mt_lists_y) mt_lists_kid_1_hight) mt_lists_hight)))
 (let (($x3512 (or $x3484 (= ?x3510 0.0))))
 (let (($x3508 (or $x3484 (= (- mt_lists_kid_1_y mt_lists_y) 0.0))))
 (let ((?x3503 (- (+ (- mt_lists_kid_0_y mt_lists_y) mt_lists_kid_0_hight) mt_lists_hight)))
 (let (($x3505 (or $x3484 (= ?x3503 0.0))))
 (let (($x3501 (or $x3484 (= (- mt_lists_kid_0_y mt_lists_y) 0.0))))
 (let (($x3498 (or $x3484 (= mt_lists_kid_0_width 100.0))))
 (let (($x3496 (or $x3484 (= (- mt_lists_kid_0_width mt_lists_kid_4_width) 0.0))))
 (let (($x3493 (or $x3484 (= (- mt_lists_kid_0_width mt_lists_kid_3_width) 0.0))))
 (let (($x3490 (or $x3484 (= (- mt_lists_kid_0_width mt_lists_kid_2_width) 0.0))))
 (let (($x3487 (or $x3484 (= ?x3485 0.0))))
 (let (($x3483 (= mt_lists_width 800.0)))
 (let ((?x3480 (+ (+ (- (- mt_bottom_0_y) mt_bottom_0_hight) mt_lists_y) mt_lists_hight)))
 (let (($x3482 (or $x3355 (= ?x3480 (- 20.0)))))
 (let (($x3418 (or $x3355 (= (+ (- mt_bottom_0_y) mt_lists_y) 20.0))))
 (let (($x3477 (>= mt_lists_kid_4_hight 0.0)))
 (let (($x3476 (>= mt_lists_kid_4_width 0.0)))
 (let (($x3475 (>= mt_lists_kid_4_y 0.0)))
 (let (($x3474 (>= mt_lists_kid_4_x 0.0)))
 (let (($x3473 (>= mt_lists_kid_3_hight 0.0)))
 (let (($x3472 (>= mt_lists_kid_3_width 0.0)))
 (let (($x3471 (>= mt_lists_kid_3_y 0.0)))
 (let (($x3470 (>= mt_lists_kid_3_x 0.0)))
 (let (($x3469 (>= mt_lists_kid_2_hight 0.0)))
 (let (($x3468 (>= mt_lists_kid_2_width 0.0)))
 (let (($x3467 (>= mt_lists_kid_2_y 0.0)))
 (let (($x3466 (>= mt_lists_kid_2_x 0.0)))
 (let (($x3465 (>= mt_lists_kid_1_hight 0.0)))
 (let (($x3464 (>= mt_lists_kid_1_width 0.0)))
 (let (($x3463 (>= mt_lists_kid_1_y 0.0)))
 (let (($x3462 (>= mt_lists_kid_1_x 0.0)))
 (let (($x3461 (>= mt_lists_kid_0_hight 0.0)))
 (let (($x3460 (>= mt_lists_kid_0_width 0.0)))
 (let (($x3459 (>= mt_lists_kid_0_y 0.0)))
 (let (($x3458 (>= mt_lists_kid_0_x 0.0)))
 (let (($x3457 (= (+ (- 50.0) mt_icons_hight) 0.0)))
 (let (($x3455 (= (+ (- 100.0) mt_icons_width) 0.0)))
 (let (($x3453 (or $x3355 (>= (- (- mt_lists_x mt_icons_x) mt_icons_width) 0.0))))
 (let ((?x3447 (- (- (+ mt_bottom_0_y mt_bottom_0_hight) mt_lists_y) mt_lists_hight)))
 (let (($x3449 (or $x3355 (>= ?x3447 20.0))))
 (let (($x3444 (or $x3355 (>= (+ (- mt_bottom_0_y) mt_lists_y) 20.0))))
 (let ((?x3440 (+ (+ (- (- mt_lists_x) mt_lists_width) mt_bottom_0_x) mt_bottom_0_width)))
 (let (($x3442 (or $x3355 (>= ?x3440 20.0))))
 (let (($x3436 (or $x3355 (>= (- mt_lists_x mt_bottom_0_x) 20.0))))
 (let ((?x3431 (- (+ (- mt_bottom_0_y mt_icons_hight) mt_bottom_0_hight) mt_icons_y)))
 (let (($x3433 (or $x3355 (>= ?x3431 20.0))))
 (let (($x3428 (or $x3355 (>= (+ (- mt_bottom_0_y) mt_icons_y) 20.0))))
 (let ((?x3424 (+ (- (+ (- mt_icons_x) mt_bottom_0_x) mt_icons_width) mt_bottom_0_width)))
 (let (($x3426 (or $x3355 (>= ?x3424 20.0))))
 (let (($x3420 (or $x3355 (>= (- mt_icons_x mt_bottom_0_x) 20.0))))
 (let (($x3415 (or $x3355 (= (+ (- mt_bottom_0_y) mt_icons_y) 20.0))))
 (let ((?x3408 (- (- (+ mt_lists_x mt_lists_width) mt_bottom_0_x) mt_bottom_0_width)))
 (let (($x3411 (or $x3355 (= ?x3408 (- 20.0)))))
 (let (($x3405 (or $x3355 (= (- mt_icons_x mt_bottom_0_x) 20.0))))
 (let (($x3402 (= mt_bottom_0_hight 200.0)))
 (let (($x3401 (>= mt_lists_hight 0.0)))
 (let (($x3400 (>= mt_lists_width 0.0)))
 (let (($x3399 (>= mt_lists_y 0.0)))
 (let (($x3398 (>= mt_lists_x 0.0)))
 (let (($x3397 (>= mt_icons_hight 0.0)))
 (let (($x3396 (>= mt_icons_width 0.0)))
 (let (($x3395 (>= mt_icons_y 0.0)))
 (let (($x3394 (>= mt_icons_x 0.0)))
 (let (($x3393 (= (+ (- main_body_width) bottom_holder_width) 0.0)))
 (let (($x3391 (= (- bottom_holder_x main_body_x) 0.0)))
 (let (($x3389 (or $x3355 $x3370)))
 (let (($x3388 (or mt_bottom_0_feasible mt_bottom_1_feasible)))
 (let ((?x3385 (+ (- (+ (- bottom_holder_y) mt_bottom_1_hight) bottom_holder_hight) mt_bottom_1_y)))
 (let (($x3387 (or $x3370 (= ?x3385 0.0))))
 (let (($x3382 (or $x3370 (= (+ (- bottom_holder_y) mt_bottom_1_y) 0.0))))
 (let ((?x3376 (- (- (+ mt_bottom_1_x mt_bottom_1_width) bottom_holder_x) bottom_holder_width)))
 (let (($x3378 (or $x3370 (= ?x3376 0.0))))
 (let (($x3373 (or $x3370 (= (- mt_bottom_1_x bottom_holder_x) 0.0))))
 (let ((?x3367 (- (+ (- mt_bottom_0_y bottom_holder_y) mt_bottom_0_hight) bottom_holder_hight)))
 (let (($x3369 (or $x3355 (= ?x3367 0.0))))
 (let (($x3365 (or $x3355 (= (- mt_bottom_0_y bottom_holder_y) 0.0))))
 (let ((?x3360 (- (+ (- mt_bottom_0_x bottom_holder_x) mt_bottom_0_width) bottom_holder_width)))
 (let (($x3362 (or $x3355 (= ?x3360 0.0))))
 (let (($x3358 (or $x3355 (= (- mt_bottom_0_x bottom_holder_x) 0.0))))
 (let (($x3354 (>= mt_bottom_1_hight 0.0)))
 (let (($x3353 (>= mt_bottom_1_width 0.0)))
 (let (($x3352 (>= mt_bottom_1_y 0.0)))
 (let (($x3351 (>= mt_bottom_1_x 0.0)))
 (let (($x3350 (>= mt_bottom_0_hight 0.0)))
 (let (($x3349 (>= mt_bottom_0_width 0.0)))
 (let (($x3348 (>= mt_bottom_0_y 0.0)))
 (let (($x3347 (>= mt_bottom_0_x 0.0)))
 (let ((?x3345 (+ (- (- read_more_width (* 2.0 back_ground_x)) back_ground_width) (* 2.0 read_more_x))))
 (let (($x3346 (= ?x3345 0.0)))
 (let (($x3340 (= (+ (- 50.0) read_more_hight) 0.0)))
 (let (($x3338 (= (+ (- 100.0) read_more_width) 0.0)))
 (let (($x3335 (or $x1637 (= (- pics_content_0_pic_hight pics_content_0_pic_width) 0.0))))
 (let ((?x3203 (- (+ (- pics_content_6_y) pics_content_7_y) pics_content_6_hight)))
 (let (($x3332 (or $x1637 (>= ?x3203 0.0))))
 (let ((?x3199 (- (- pics_content_6_y pics_content_5_y) pics_content_5_hight)))
 (let (($x3330 (or $x1637 (>= ?x3199 0.0))))
 (let ((?x3195 (- (- pics_content_5_y pics_content_4_y) pics_content_4_hight)))
 (let (($x3328 (or $x1637 (>= ?x3195 0.0))))
 (let ((?x3190 (- (- pics_content_3_hight) pics_content_3_y)))
 (let ((?x3191 (+ ?x3190 pics_content_4_y)))
 (let (($x3326 (or $x1637 (>= ?x3191 0.0))))
 (let ((?x3186 (- (+ (- pics_content_2_hight) pics_content_3_y) pics_content_2_y)))
 (let (($x3324 (or $x1637 (>= ?x3186 0.0))))
 (let ((?x1755 (- pics_content_1_y)))
 (let ((?x1756 (- ?x1755 pics_content_1_hight)))
 (let ((?x3182 (+ ?x1756 pics_content_2_y)))
 (let (($x3322 (or $x1637 (>= ?x3182 0.0))))
 (let ((?x3179 (- (- pics_content_1_y pics_content_0_y) pics_content_0_hight)))
 (let (($x3320 (or $x1637 (>= ?x3179 0.0))))
 (let ((?x3316 (+ (+ (- (- pics_content_7_y) pics_content_7_hight) main_pic_2_y) main_pic_2_hight)))
 (let (($x3318 (or $x1637 (>= ?x3316 10.0))))
 (let (($x3314 (or $x1637 (>= (- pics_content_7_y main_pic_2_y) 10.0))))
 (let ((?x3309 (- (- (+ main_pic_2_x main_pic_2_width) pics_content_7_x) pics_content_7_width)))
 (let (($x3311 (or $x1637 (>= ?x3309 10.0))))
 (let (($x3307 (or $x1637 (>= (+ (- main_pic_2_x) pics_content_7_x) 10.0))))
 (let ((?x3303 (+ (+ (- (- pics_content_6_y) pics_content_6_hight) main_pic_2_y) main_pic_2_hight)))
 (let (($x3305 (or $x1637 (>= ?x3303 10.0))))
 (let (($x3300 (or $x1637 (>= (- pics_content_6_y main_pic_2_y) 10.0))))
 (let ((?x3295 (- (- (+ main_pic_2_x main_pic_2_width) pics_content_6_x) pics_content_6_width)))
 (let (($x3297 (or $x1637 (>= ?x3295 10.0))))
 (let (($x3293 (or $x1637 (>= (+ (- main_pic_2_x) pics_content_6_x) 10.0))))
 (let ((?x3289 (+ (- (+ (- pics_content_5_y) main_pic_2_y) pics_content_5_hight) main_pic_2_hight)))
 (let (($x3291 (or $x1637 (>= ?x3289 10.0))))
 (let (($x3285 (or $x1637 (>= (- pics_content_5_y main_pic_2_y) 10.0))))
 (let ((?x3280 (- (+ (- main_pic_2_x pics_content_5_width) main_pic_2_width) pics_content_5_x)))
 (let (($x3282 (or $x1637 (>= ?x3280 10.0))))
 (let (($x3277 (or $x1637 (>= (+ (- main_pic_2_x) pics_content_5_x) 10.0))))
 (let ((?x3273 (- (+ (- main_pic_2_y pics_content_4_y) main_pic_2_hight) pics_content_4_hight)))
 (let (($x3275 (or $x1637 (>= ?x3273 10.0))))
 (let (($x3270 (or $x1637 (>= (+ (- main_pic_2_y) pics_content_4_y) 10.0))))
 (let ((?x3265 (- (+ (- main_pic_2_x pics_content_4_x) main_pic_2_width) pics_content_4_width)))
 (let (($x3267 (or $x1637 (>= ?x3265 10.0))))
 (let (($x3262 (or $x1637 (>= (+ (- main_pic_2_x) pics_content_4_x) 10.0))))
 (let (($x3260 (or $x1637 (>= (+ (+ ?x3190 main_pic_2_y) main_pic_2_hight) 10.0))))
 (let (($x3256 (or $x1637 (>= (- pics_content_3_y main_pic_2_y) 10.0))))
 (let ((?x3251 (- (- (+ main_pic_2_x main_pic_2_width) pics_content_3_width) pics_content_3_x)))
 (let (($x3253 (or $x1637 (>= ?x3251 10.0))))
 (let (($x3249 (or $x1637 (>= (+ (- main_pic_2_x) pics_content_3_x) 10.0))))
 (let ((?x3245 (+ (- (+ (- pics_content_2_hight) main_pic_2_y) pics_content_2_y) main_pic_2_hight)))
 (let (($x3247 (or $x1637 (>= ?x3245 10.0))))
 (let (($x3242 (or $x1637 (>= (+ (- main_pic_2_y) pics_content_2_y) 10.0))))
 (let ((?x3236 (- (+ (- main_pic_2_x pics_content_2_x) main_pic_2_width) pics_content_2_width)))
 (let (($x3238 (or $x1637 (>= ?x3236 10.0))))
 (let (($x3233 (or $x1637 (>= (+ (- main_pic_2_x) pics_content_2_x) 10.0))))
 (let (($x3231 (or $x1637 (>= (+ (+ ?x1756 main_pic_2_y) main_pic_2_hight) 10.0))))
 (let (($x3227 (or $x1637 (>= (- pics_content_1_y main_pic_2_y) 10.0))))
 (let ((?x3222 (- (- (+ main_pic_2_x main_pic_2_width) pics_content_1_x) pics_content_1_width)))
 (let (($x3224 (or $x1637 (>= ?x3222 10.0))))
 (let (($x3220 (or $x1637 (>= (+ (- main_pic_2_x) pics_content_1_x) 10.0))))
 (let ((?x3216 (+ (+ (- (- pics_content_0_y) pics_content_0_hight) main_pic_2_y) main_pic_2_hight)))
 (let (($x3218 (or $x1637 (>= ?x3216 10.0))))
 (let (($x3213 (or $x1637 (>= (- pics_content_0_y main_pic_2_y) 10.0))))
 (let ((?x3209 (- (- (+ main_pic_2_x main_pic_2_width) pics_content_0_x) pics_content_0_width)))
 (let (($x3211 (or $x1637 (>= ?x3209 10.0))))
 (let (($x3207 (or $x1637 (>= (+ (- main_pic_2_x) pics_content_0_x) 10.0))))
 (let (($x3205 (or $x1637 (= ?x3203 10.0))))
 (let (($x3201 (or $x1637 (= ?x3199 10.0))))
 (let (($x3197 (or $x1637 (= ?x3195 10.0))))
 (let (($x3193 (or $x1637 (= ?x3191 10.0))))
 (let (($x3188 (or $x1637 (= ?x3186 10.0))))
 (let (($x3184 (or $x1637 (= ?x3182 10.0))))
 (let (($x3181 (or $x1637 (= ?x3179 10.0))))
 (let ((?x3175 (- (- (+ pics_content_7_y pics_content_7_hight) main_pic_2_y) main_pic_2_hight)))
 (let (($x3177 (or $x1637 (= ?x3175 (- 10.0)))))
 (let (($x3172 (or $x1637 (= (- pics_content_0_y main_pic_2_y) 10.0))))
 (let ((?x3167 (+ (+ (- (- main_pic_2_x) main_pic_2_width) pics_content_7_x) pics_content_7_width)))
 (let (($x3169 (or $x1637 (= ?x3167 (- 10.0)))))
 (let ((?x3163 (+ (+ (- (- main_pic_2_x) main_pic_2_width) pics_content_6_x) pics_content_6_width)))
 (let (($x3165 (or $x1637 (= ?x3163 (- 10.0)))))
 (let ((?x3159 (+ (- (+ (- main_pic_2_x) pics_content_5_width) main_pic_2_width) pics_content_5_x)))
 (let (($x3161 (or $x1637 (= ?x3159 (- 10.0)))))
 (let ((?x3154 (+ (- (+ (- main_pic_2_x) pics_content_4_x) main_pic_2_width) pics_content_4_width)))
 (let (($x3156 (or $x1637 (= ?x3154 (- 10.0)))))
 (let ((?x3150 (+ (+ (- (- main_pic_2_x) main_pic_2_width) pics_content_3_width) pics_content_3_x)))
 (let (($x3152 (or $x1637 (= ?x3150 (- 10.0)))))
 (let ((?x3146 (+ (- (+ (- main_pic_2_x) pics_content_2_x) main_pic_2_width) pics_content_2_width)))
 (let (($x3148 (or $x1637 (= ?x3146 (- 10.0)))))
 (let ((?x3142 (+ (+ (- (- main_pic_2_x) main_pic_2_width) pics_content_1_x) pics_content_1_width)))
 (let (($x3144 (or $x1637 (= ?x3142 (- 10.0)))))
 (let ((?x3138 (+ (+ (- (- main_pic_2_x) main_pic_2_width) pics_content_0_x) pics_content_0_width)))
 (let (($x3140 (or $x1637 (= ?x3138 (- 10.0)))))
 (let (($x3135 (or $x1637 (= (+ (- main_pic_2_x) pics_content_7_x) 10.0))))
 (let (($x3132 (or $x1637 (= (+ (- main_pic_2_x) pics_content_6_x) 10.0))))
 (let (($x3129 (or $x1637 (= (+ (- main_pic_2_x) pics_content_5_x) 10.0))))
 (let (($x3126 (or $x1637 (= (+ (- main_pic_2_x) pics_content_4_x) 10.0))))
 (let (($x3123 (or $x1637 (= (+ (- main_pic_2_x) pics_content_3_x) 10.0))))
 (let (($x3120 (or $x1637 (= (+ (- main_pic_2_x) pics_content_2_x) 10.0))))
 (let (($x3117 (or $x1637 (= (+ (- main_pic_2_x) pics_content_1_x) 10.0))))
 (let (($x3114 (or $x1637 (= (+ (- main_pic_2_x) pics_content_0_x) 10.0))))
 (let ((?x3015 (- (- pics_content_7_title_kid_2_y pics_content_7_title_kid_1_y) pics_content_7_title_kid_1_hight)))
 (let (($x3110 (or $x3008 (>= ?x3015 0.0))))
 (let ((?x3011 (- (+ (- pics_content_7_title_kid_0_y) pics_content_7_title_kid_1_y) pics_content_7_title_kid_0_hight)))
 (let (($x3108 (or $x3008 (>= ?x3011 0.0))))
 (let ((?x3103 (+ (- (- pics_content_7_title_kid_2_y) pics_content_7_title_kid_2_hight) pics_content_7_title_y)))
 (let (($x3106 (or $x3008 (>= (+ ?x3103 pics_content_7_title_hight) 10.0))))
 (let (($x3100 (or $x3008 (>= (- pics_content_7_title_kid_2_y pics_content_7_title_y) 10.0))))
 (let ((?x3094 (- (- pics_content_7_title_width pics_content_7_title_kid_2_x) pics_content_7_title_kid_2_width)))
 (let (($x3097 (or $x3008 (>= (+ ?x3094 pics_content_7_title_x) 10.0))))
 (let (($x3092 (or $x3008 (>= (- pics_content_7_title_kid_2_x pics_content_7_title_x) 10.0))))
 (let ((?x3087 (- (+ (- pics_content_7_title_kid_1_y) pics_content_7_title_y) pics_content_7_title_kid_1_hight)))
 (let (($x3090 (or $x3008 (>= (+ ?x3087 pics_content_7_title_hight) 10.0))))
 (let (($x3084 (or $x3008 (>= (- pics_content_7_title_kid_1_y pics_content_7_title_y) 10.0))))
 (let ((?x3078 (- (+ (- pics_content_7_title_kid_1_width) pics_content_7_title_width) pics_content_7_title_kid_1_x)))
 (let (($x3081 (or $x3008 (>= (+ ?x3078 pics_content_7_title_x) 10.0))))
 (let (($x3075 (or $x3008 (>= (- pics_content_7_title_kid_1_x pics_content_7_title_x) 10.0))))
 (let ((?x3070 (- (+ (- pics_content_7_title_kid_0_y) pics_content_7_title_y) pics_content_7_title_kid_0_hight)))
 (let (($x3073 (or $x3008 (>= (+ ?x3070 pics_content_7_title_hight) 10.0))))
 (let (($x3068 (or $x3008 (>= (- pics_content_7_title_kid_0_y pics_content_7_title_y) 10.0))))
 (let ((?x3063 (- (+ (- pics_content_7_title_kid_0_width) pics_content_7_title_width) pics_content_7_title_kid_0_x)))
 (let (($x3066 (or $x3008 (>= (+ ?x3063 pics_content_7_title_x) 10.0))))
 (let (($x3060 (or $x3008 (>= (- pics_content_7_title_kid_0_x pics_content_7_title_x) 10.0))))
 (let ((?x3056 (+ (- pics_content_7_title_kid_2_hight) pics_content_7_title_kid_0_hight)))
 (let (($x3058 (or $x3008 (= ?x3056 0.0))))
 (let (($x3053 (= (- pics_content_7_title_kid_0_hight pics_content_7_title_kid_1_hight) 0.0)))
 (let (($x3054 (or $x3008 $x3053)))
 (let (($x3051 (= pics_content_7_title_hight 200.0)))
 (let ((?x3047 (- (+ pics_content_7_title_kid_2_y pics_content_7_title_kid_2_hight) pics_content_7_title_y)))
 (let (($x3050 (or $x3008 (= (- ?x3047 pics_content_7_title_hight) (- 10.0)))))
 (let (($x3045 (or $x3008 (= (- pics_content_7_title_kid_0_y pics_content_7_title_y) 10.0))))
 (let ((?x3039 (+ (+ (- pics_content_7_title_width) pics_content_7_title_kid_2_x) pics_content_7_title_kid_2_width)))
 (let (($x3042 (or $x3008 (= (- ?x3039 pics_content_7_title_x) (- 10.0)))))
 (let ((?x3033 (+ (- pics_content_7_title_kid_1_width pics_content_7_title_width) pics_content_7_title_kid_1_x)))
 (let (($x3036 (or $x3008 (= (- ?x3033 pics_content_7_title_x) (- 10.0)))))
 (let ((?x3028 (+ (- pics_content_7_title_kid_0_width pics_content_7_title_width) pics_content_7_title_kid_0_x)))
 (let (($x3031 (or $x3008 (= (- ?x3028 pics_content_7_title_x) (- 10.0)))))
 (let (($x3026 (or $x3008 (= (- pics_content_7_title_kid_2_x pics_content_7_title_x) 10.0))))
 (let (($x3023 (or $x3008 (= (- pics_content_7_title_kid_1_x pics_content_7_title_x) 10.0))))
 (let (($x3020 (or $x3008 (= (- pics_content_7_title_kid_0_x pics_content_7_title_x) 10.0))))
 (let (($x3017 (or $x3008 (= ?x3015 10.0))))
 (let (($x3013 (or $x3008 (= ?x3011 10.0))))
 (let (($x3007 (>= pics_content_7_title_kid_2_hight 0.0)))
 (let (($x3006 (>= pics_content_7_title_kid_2_width 0.0)))
 (let (($x3005 (>= pics_content_7_title_kid_2_y 0.0)))
 (let (($x3004 (>= pics_content_7_title_kid_2_x 0.0)))
 (let (($x3003 (>= pics_content_7_title_kid_1_hight 0.0)))
 (let (($x3002 (>= pics_content_7_title_kid_1_width 0.0)))
 (let (($x3001 (>= pics_content_7_title_kid_1_y 0.0)))
 (let (($x3000 (>= pics_content_7_title_kid_1_x 0.0)))
 (let (($x2999 (>= pics_content_7_title_kid_0_hight 0.0)))
 (let (($x2998 (>= pics_content_7_title_kid_0_width 0.0)))
 (let (($x2997 (>= pics_content_7_title_kid_0_y 0.0)))
 (let (($x2996 (>= pics_content_7_title_kid_0_x 0.0)))
 (let (($x2995 (= (+ (- pics_content_7_pic_hight) pics_content_7_pic_width) 0.0)))
 (let ((?x2991 (- (+ (- pics_content_7_pic_hight) pics_content_7_title_y) pics_content_7_pic_y)))
 (let (($x2993 (or $x2963 (= ?x2991 0.0))))
 (let ((?x1836 (- pics_content_7_y)))
 (let ((?x2984 (- ?x1836 pics_content_7_hight)))
 (let (($x2987 (= (+ (+ ?x2984 pics_content_7_title_y) pics_content_7_title_hight) 0.0)))
 (let (($x2988 (or $x2963 $x2987)))
 (let (($x2983 (or $x2963 (= (+ ?x1836 pics_content_7_pic_y) 0.0))))
 (let ((?x2977 (- (- pics_content_7_title_width pics_content_7_x) pics_content_7_width)))
 (let (($x2980 (or $x2963 (= (+ ?x2977 pics_content_7_title_x) 0.0))))
 (let ((?x2972 (- (+ pics_content_7_pic_x pics_content_7_pic_width) pics_content_7_x)))
 (let (($x2975 (or $x2963 (= (- ?x2972 pics_content_7_width) 0.0))))
 (let (($x2970 (or $x2963 (= (+ (- pics_content_7_x) pics_content_7_title_x) 0.0))))
 (let (($x2966 (or $x2963 (= (- pics_content_7_pic_x pics_content_7_x) 0.0))))
 (let (($x2962 (>= pics_content_7_title_hight 0.0)))
 (let (($x2961 (>= pics_content_7_title_width 0.0)))
 (let (($x2960 (>= pics_content_7_title_y 0.0)))
 (let (($x2959 (>= pics_content_7_title_x 0.0)))
 (let (($x2958 (>= pics_content_7_pic_hight 0.0)))
 (let (($x2957 (>= pics_content_7_pic_width 0.0)))
 (let (($x2956 (>= pics_content_7_pic_y 0.0)))
 (let (($x2955 (>= pics_content_7_pic_x 0.0)))
 (let ((?x2860 (- (- pics_content_6_title_kid_1_y) pics_content_6_title_kid_1_hight)))
 (let ((?x2861 (+ ?x2860 pics_content_6_title_kid_2_y)))
 (let (($x2954 (or $x2854 (>= ?x2861 0.0))))
 (let ((?x2856 (- (- pics_content_6_title_kid_1_y pics_content_6_title_kid_0_y) pics_content_6_title_kid_0_hight)))
 (let (($x2952 (or $x2854 (>= ?x2856 0.0))))
 (let ((?x2947 (+ (+ (- pics_content_6_title_kid_2_hight) pics_content_6_title_y) pics_content_6_title_hight)))
 (let (($x2950 (or $x2854 (>= (- ?x2947 pics_content_6_title_kid_2_y) 10.0))))
 (let (($x2944 (>= (+ (- pics_content_6_title_y) pics_content_6_title_kid_2_y) 10.0)))
 (let (($x2945 (or $x2854 $x2944)))
 (let ((?x2938 (- (- pics_content_6_title_width pics_content_6_title_kid_2_x) pics_content_6_title_kid_2_width)))
 (let (($x2941 (or $x2854 (>= (+ ?x2938 pics_content_6_title_x) 10.0))))
 (let (($x2936 (or $x2854 (>= (- pics_content_6_title_kid_2_x pics_content_6_title_x) 10.0))))
 (let (($x2933 (>= (+ (+ ?x2860 pics_content_6_title_y) pics_content_6_title_hight) 10.0)))
 (let (($x2934 (or $x2854 $x2933)))
 (let (($x2930 (or $x2854 (>= (- pics_content_6_title_kid_1_y pics_content_6_title_y) 10.0))))
 (let ((?x2924 (- (- pics_content_6_title_width pics_content_6_title_kid_1_x) pics_content_6_title_kid_1_width)))
 (let (($x2927 (or $x2854 (>= (+ ?x2924 pics_content_6_title_x) 10.0))))
 (let (($x2922 (or $x2854 (>= (- pics_content_6_title_kid_1_x pics_content_6_title_x) 10.0))))
 (let ((?x2917 (- (+ (- pics_content_6_title_kid_0_y) pics_content_6_title_y) pics_content_6_title_kid_0_hight)))
 (let (($x2920 (or $x2854 (>= (+ ?x2917 pics_content_6_title_hight) 10.0))))
 (let (($x2914 (or $x2854 (>= (- pics_content_6_title_kid_0_y pics_content_6_title_y) 10.0))))
 (let ((?x2909 (+ (- pics_content_6_title_width pics_content_6_title_kid_0_x) pics_content_6_title_x)))
 (let (($x2912 (or $x2854 (>= (- ?x2909 pics_content_6_title_kid_0_width) 10.0))))
 (let (($x2907 (or $x2854 (>= (- pics_content_6_title_kid_0_x pics_content_6_title_x) 10.0))))
 (let ((?x2902 (- pics_content_6_title_kid_2_hight)))
 (let (($x2905 (or $x2854 (= (+ ?x2902 pics_content_6_title_kid_0_hight) 0.0))))
 (let ((?x2899 (+ (- pics_content_6_title_kid_1_hight) pics_content_6_title_kid_0_hight)))
 (let (($x2901 (or $x2854 (= ?x2899 0.0))))
 (let (($x2897 (= pics_content_6_title_hight 200.0)))
 (let ((?x2893 (- (- pics_content_6_title_kid_2_hight pics_content_6_title_y) pics_content_6_title_hight)))
 (let (($x2896 (or $x2854 (= (+ ?x2893 pics_content_6_title_kid_2_y) (- 10.0)))))
 (let (($x2891 (or $x2854 (= (- pics_content_6_title_kid_0_y pics_content_6_title_y) 10.0))))
 (let ((?x2885 (+ (+ (- pics_content_6_title_width) pics_content_6_title_kid_2_x) pics_content_6_title_kid_2_width)))
 (let (($x2888 (or $x2854 (= (- ?x2885 pics_content_6_title_x) (- 10.0)))))
 (let ((?x2880 (+ (+ (- pics_content_6_title_width) pics_content_6_title_kid_1_x) pics_content_6_title_kid_1_width)))
 (let (($x2883 (or $x2854 (= (- ?x2880 pics_content_6_title_x) (- 10.0)))))
 (let ((?x2875 (- (+ (- pics_content_6_title_width) pics_content_6_title_kid_0_x) pics_content_6_title_x)))
 (let (($x2878 (or $x2854 (= (+ ?x2875 pics_content_6_title_kid_0_width) (- 10.0)))))
 (let (($x2872 (or $x2854 (= (- pics_content_6_title_kid_2_x pics_content_6_title_x) 10.0))))
 (let (($x2869 (or $x2854 (= (- pics_content_6_title_kid_1_x pics_content_6_title_x) 10.0))))
 (let (($x2866 (or $x2854 (= (- pics_content_6_title_kid_0_x pics_content_6_title_x) 10.0))))
 (let (($x2863 (or $x2854 (= ?x2861 10.0))))
 (let (($x2858 (or $x2854 (= ?x2856 10.0))))
 (let (($x2853 (>= pics_content_6_title_kid_2_hight 0.0)))
 (let (($x2852 (>= pics_content_6_title_kid_2_width 0.0)))
 (let (($x2851 (>= pics_content_6_title_kid_2_y 0.0)))
 (let (($x2850 (>= pics_content_6_title_kid_2_x 0.0)))
 (let (($x2849 (>= pics_content_6_title_kid_1_hight 0.0)))
 (let (($x2848 (>= pics_content_6_title_kid_1_width 0.0)))
 (let (($x2847 (>= pics_content_6_title_kid_1_y 0.0)))
 (let (($x2846 (>= pics_content_6_title_kid_1_x 0.0)))
 (let (($x2845 (>= pics_content_6_title_kid_0_hight 0.0)))
 (let (($x2844 (>= pics_content_6_title_kid_0_width 0.0)))
 (let (($x2843 (>= pics_content_6_title_kid_0_y 0.0)))
 (let (($x2842 (>= pics_content_6_title_kid_0_x 0.0)))
 (let (($x2841 (= (- pics_content_6_pic_width pics_content_6_pic_hight) 0.0)))
 (let ((?x2837 (- (+ (- pics_content_6_pic_y) pics_content_6_title_y) pics_content_6_pic_hight)))
 (let (($x2839 (or $x2810 (= ?x2837 0.0))))
 (let ((?x2831 (- (+ (- pics_content_6_y) pics_content_6_title_y) pics_content_6_hight)))
 (let (($x2834 (or $x2810 (= (+ ?x2831 pics_content_6_title_hight) 0.0))))
 (let (($x2829 (or $x2810 (= (+ (- pics_content_6_y) pics_content_6_pic_y) 0.0))))
 (let ((?x2823 (+ (- pics_content_6_title_width pics_content_6_x) pics_content_6_title_x)))
 (let (($x2826 (or $x2810 (= (- ?x2823 pics_content_6_width) 0.0))))
 (let ((?x2818 (+ (- pics_content_6_pic_width pics_content_6_x) pics_content_6_pic_x)))
 (let (($x2821 (or $x2810 (= (- ?x2818 pics_content_6_width) 0.0))))
 (let (($x2816 (or $x2810 (= (+ (- pics_content_6_x) pics_content_6_title_x) 0.0))))
 (let (($x2813 (or $x2810 (= (+ (- pics_content_6_x) pics_content_6_pic_x) 0.0))))
 (let (($x2809 (>= pics_content_6_title_hight 0.0)))
 (let (($x2808 (>= pics_content_6_title_width 0.0)))
 (let (($x2807 (>= pics_content_6_title_y 0.0)))
 (let (($x2806 (>= pics_content_6_title_x 0.0)))
 (let (($x2805 (>= pics_content_6_pic_hight 0.0)))
 (let (($x2804 (>= pics_content_6_pic_width 0.0)))
 (let (($x2803 (>= pics_content_6_pic_y 0.0)))
 (let (($x2802 (>= pics_content_6_pic_x 0.0)))
 (let ((?x2712 (- (+ (- pics_content_5_title_kid_1_hight) pics_content_5_title_kid_2_y) pics_content_5_title_kid_1_y)))
 (let (($x2801 (or $x2704 (>= ?x2712 0.0))))
 (let ((?x2707 (+ (- (- pics_content_5_title_kid_0_hight) pics_content_5_title_kid_0_y) pics_content_5_title_kid_1_y)))
 (let (($x2799 (or $x2704 (>= ?x2707 0.0))))
 (let ((?x2680 (+ pics_content_5_title_y pics_content_5_title_hight)))
 (let ((?x2795 (- (- ?x2680 pics_content_5_title_kid_2_y) pics_content_5_title_kid_2_hight)))
 (let (($x2797 (or $x2704 (>= ?x2795 10.0))))
 (let (($x2792 (>= (+ (- pics_content_5_title_y) pics_content_5_title_kid_2_y) 10.0)))
 (let (($x2793 (or $x2704 $x2792)))
 (let ((?x2787 (+ (- (- pics_content_5_title_kid_2_x) pics_content_5_title_kid_2_width) pics_content_5_title_x)))
 (let (($x2790 (or $x2704 (>= (+ ?x2787 pics_content_5_title_width) 10.0))))
 (let (($x2784 (or $x2704 (>= (- pics_content_5_title_kid_2_x pics_content_5_title_x) 10.0))))
 (let ((?x2779 (+ (- pics_content_5_title_y pics_content_5_title_kid_1_hight) pics_content_5_title_hight)))
 (let (($x2782 (or $x2704 (>= (- ?x2779 pics_content_5_title_kid_1_y) 10.0))))
 (let (($x2776 (>= (+ (- pics_content_5_title_y) pics_content_5_title_kid_1_y) 10.0)))
 (let (($x2777 (or $x2704 $x2776)))
 (let ((?x2771 (- (+ (- pics_content_5_title_kid_1_x) pics_content_5_title_x) pics_content_5_title_kid_1_width)))
 (let (($x2774 (or $x2704 (>= (+ ?x2771 pics_content_5_title_width) 10.0))))
 (let (($x2768 (or $x2704 (>= (- pics_content_5_title_kid_1_x pics_content_5_title_x) 10.0))))
 (let ((?x2764 (- (- ?x2680 pics_content_5_title_kid_0_hight) pics_content_5_title_kid_0_y)))
 (let (($x2766 (or $x2704 (>= ?x2764 10.0))))
 (let ((?x2737 (- pics_content_5_title_y)))
 (let ((?x2738 (+ ?x2737 pics_content_5_title_kid_0_y)))
 (let (($x2762 (or $x2704 (>= ?x2738 10.0))))
 (let ((?x2757 (+ (+ (- pics_content_5_title_kid_0_x) pics_content_5_title_x) pics_content_5_title_width)))
 (let (($x2760 (or $x2704 (>= (- ?x2757 pics_content_5_title_kid_0_width) 10.0))))
 (let (($x2754 (or $x2704 (>= (- pics_content_5_title_kid_0_x pics_content_5_title_x) 10.0))))
 (let (($x2751 (= (- pics_content_5_title_kid_0_hight pics_content_5_title_kid_2_hight) 0.0)))
 (let (($x2752 (or $x2704 $x2751)))
 (let ((?x2710 (- pics_content_5_title_kid_1_hight)))
 (let (($x2749 (or $x2704 (= (+ ?x2710 pics_content_5_title_kid_0_hight) 0.0))))
 (let (($x2746 (= pics_content_5_title_hight 200.0)))
 (let ((?x2743 (+ (+ (- ?x2737 pics_content_5_title_hight) pics_content_5_title_kid_2_y) pics_content_5_title_kid_2_hight)))
 (let (($x2745 (or $x2704 (= ?x2743 (- 10.0)))))
 (let (($x2740 (or $x2704 (= ?x2738 10.0))))
 (let ((?x2733 (- (+ pics_content_5_title_kid_2_x pics_content_5_title_kid_2_width) pics_content_5_title_x)))
 (let (($x2736 (or $x2704 (= (- ?x2733 pics_content_5_title_width) (- 10.0)))))
 (let ((?x2718 (- pics_content_5_title_kid_1_x pics_content_5_title_x)))
 (let ((?x2729 (- (+ ?x2718 pics_content_5_title_kid_1_width) pics_content_5_title_width)))
 (let (($x2731 (or $x2704 (= ?x2729 (- 10.0)))))
 (let ((?x2715 (- pics_content_5_title_kid_0_x pics_content_5_title_x)))
 (let ((?x2725 (+ (- ?x2715 pics_content_5_title_width) pics_content_5_title_kid_0_width)))
 (let (($x2727 (or $x2704 (= ?x2725 (- 10.0)))))
 (let (($x2723 (or $x2704 (= (- pics_content_5_title_kid_2_x pics_content_5_title_x) 10.0))))
 (let (($x2720 (or $x2704 (= ?x2718 10.0))))
 (let (($x2717 (or $x2704 (= ?x2715 10.0))))
 (let (($x2714 (or $x2704 (= ?x2712 10.0))))
 (let (($x2709 (or $x2704 (= ?x2707 10.0))))
 (let (($x2703 (>= pics_content_5_title_kid_2_hight 0.0)))
 (let (($x2702 (>= pics_content_5_title_kid_2_width 0.0)))
 (let (($x2701 (>= pics_content_5_title_kid_2_y 0.0)))
 (let (($x2700 (>= pics_content_5_title_kid_2_x 0.0)))
 (let (($x2699 (>= pics_content_5_title_kid_1_hight 0.0)))
 (let (($x2698 (>= pics_content_5_title_kid_1_width 0.0)))
 (let (($x2697 (>= pics_content_5_title_kid_1_y 0.0)))
 (let (($x2696 (>= pics_content_5_title_kid_1_x 0.0)))
 (let (($x2695 (>= pics_content_5_title_kid_0_hight 0.0)))
 (let (($x2694 (>= pics_content_5_title_kid_0_width 0.0)))
 (let (($x2693 (>= pics_content_5_title_kid_0_y 0.0)))
 (let (($x2692 (>= pics_content_5_title_kid_0_x 0.0)))
 (let (($x2691 (= (+ (- pics_content_5_pic_hight) pics_content_5_pic_width) 0.0)))
 (let ((?x2686 (- (- pics_content_5_title_y pics_content_5_pic_y) pics_content_5_pic_hight)))
 (let (($x2688 (or $x2660 (= ?x2686 0.0))))
 (let (($x2684 (or $x2660 (= (- (- ?x2680 pics_content_5_y) pics_content_5_hight) 0.0))))
 (let (($x2679 (or $x2660 (= (- pics_content_5_pic_y pics_content_5_y) 0.0))))
 (let ((?x2673 (+ (+ (- pics_content_5_width) pics_content_5_title_x) pics_content_5_title_width)))
 (let (($x2676 (or $x2660 (= (- ?x2673 pics_content_5_x) 0.0))))
 (let ((?x2668 (- (+ (- pics_content_5_width) pics_content_5_pic_x) pics_content_5_x)))
 (let (($x2671 (or $x2660 (= (+ ?x2668 pics_content_5_pic_width) 0.0))))
 (let (($x2666 (or $x2660 (= (- pics_content_5_title_x pics_content_5_x) 0.0))))
 (let (($x2663 (or $x2660 (= (- pics_content_5_pic_x pics_content_5_x) 0.0))))
 (let (($x2659 (>= pics_content_5_title_hight 0.0)))
 (let (($x2658 (>= pics_content_5_title_width 0.0)))
 (let (($x2657 (>= pics_content_5_title_y 0.0)))
 (let (($x2656 (>= pics_content_5_title_x 0.0)))
 (let (($x2655 (>= pics_content_5_pic_hight 0.0)))
 (let (($x2654 (>= pics_content_5_pic_width 0.0)))
 (let (($x2653 (>= pics_content_5_pic_y 0.0)))
 (let (($x2652 (>= pics_content_5_pic_x 0.0)))
 (let ((?x2556 (- (+ (- pics_content_4_title_kid_1_y) pics_content_4_title_kid_2_y) pics_content_4_title_kid_1_hight)))
 (let (($x2651 (or $x2549 (>= ?x2556 0.0))))
 (let ((?x2551 (- (- pics_content_4_title_kid_1_y pics_content_4_title_kid_0_y) pics_content_4_title_kid_0_hight)))
 (let (($x2649 (or $x2549 (>= ?x2551 0.0))))
 (let ((?x2644 (- (- pics_content_4_title_hight pics_content_4_title_kid_2_y) pics_content_4_title_kid_2_hight)))
 (let (($x2647 (or $x2549 (>= (+ ?x2644 pics_content_4_title_y) 10.0))))
 (let (($x2642 (or $x2549 (>= (- pics_content_4_title_kid_2_y pics_content_4_title_y) 10.0))))
 (let ((?x2636 (+ (+ (- pics_content_4_title_kid_2_width) pics_content_4_title_x) pics_content_4_title_width)))
 (let (($x2639 (or $x2549 (>= (- ?x2636 pics_content_4_title_kid_2_x) 10.0))))
 (let ((?x2562 (- pics_content_4_title_x)))
 (let ((?x2566 (+ ?x2562 pics_content_4_title_kid_2_x)))
 (let (($x2633 (or $x2549 (>= ?x2566 10.0))))
 (let ((?x2628 (- (- pics_content_4_title_hight pics_content_4_title_kid_1_y) pics_content_4_title_kid_1_hight)))
 (let (($x2631 (or $x2549 (>= (+ ?x2628 pics_content_4_title_y) 10.0))))
 (let (($x2626 (or $x2549 (>= (- pics_content_4_title_kid_1_y pics_content_4_title_y) 10.0))))
 (let ((?x2620 (+ (+ (- pics_content_4_title_kid_1_width) pics_content_4_title_x) pics_content_4_title_width)))
 (let (($x2623 (or $x2549 (>= (- ?x2620 pics_content_4_title_kid_1_x) 10.0))))
 (let (($x2617 (or $x2549 (>= (+ ?x2562 pics_content_4_title_kid_1_x) 10.0))))
 (let ((?x2612 (+ (- pics_content_4_title_hight pics_content_4_title_kid_0_y) pics_content_4_title_y)))
 (let (($x2615 (or $x2549 (>= (- ?x2612 pics_content_4_title_kid_0_hight) 10.0))))
 (let (($x2610 (or $x2549 (>= (- pics_content_4_title_kid_0_y pics_content_4_title_y) 10.0))))
 (let ((?x2605 (- (+ (- pics_content_4_title_kid_0_x) pics_content_4_title_x) pics_content_4_title_kid_0_width)))
 (let (($x2608 (or $x2549 (>= (+ ?x2605 pics_content_4_title_width) 10.0))))
 (let (($x2602 (or $x2549 (>= (- pics_content_4_title_kid_0_x pics_content_4_title_x) 10.0))))
 (let ((?x2598 (+ (- pics_content_4_title_kid_2_hight) pics_content_4_title_kid_0_hight)))
 (let (($x2600 (or $x2549 (= ?x2598 0.0))))
 (let ((?x2594 (+ (- pics_content_4_title_kid_1_hight) pics_content_4_title_kid_0_hight)))
 (let (($x2596 (or $x2549 (= ?x2594 0.0))))
 (let (($x2592 (= pics_content_4_title_hight 200.0)))
 (let ((?x2588 (+ (+ (- pics_content_4_title_hight) pics_content_4_title_kid_2_y) pics_content_4_title_kid_2_hight)))
 (let (($x2591 (or $x2549 (= (- ?x2588 pics_content_4_title_y) (- 10.0)))))
 (let (($x2585 (or $x2549 (= (- pics_content_4_title_kid_0_y pics_content_4_title_y) 10.0))))
 (let ((?x2579 (- (- pics_content_4_title_kid_2_width pics_content_4_title_x) pics_content_4_title_width)))
 (let (($x2582 (or $x2549 (= (+ ?x2579 pics_content_4_title_kid_2_x) (- 10.0)))))
 (let ((?x2574 (- (- pics_content_4_title_kid_1_width pics_content_4_title_x) pics_content_4_title_width)))
 (let (($x2577 (or $x2549 (= (+ ?x2574 pics_content_4_title_kid_1_x) (- 10.0)))))
 (let ((?x2559 (- pics_content_4_title_kid_0_x pics_content_4_title_x)))
 (let ((?x2570 (- (+ ?x2559 pics_content_4_title_kid_0_width) pics_content_4_title_width)))
 (let (($x2572 (or $x2549 (= ?x2570 (- 10.0)))))
 (let (($x2568 (or $x2549 (= ?x2566 10.0))))
 (let (($x2565 (or $x2549 (= (+ ?x2562 pics_content_4_title_kid_1_x) 10.0))))
 (let (($x2561 (or $x2549 (= ?x2559 10.0))))
 (let (($x2558 (or $x2549 (= ?x2556 10.0))))
 (let (($x2553 (or $x2549 (= ?x2551 10.0))))
 (let (($x2548 (>= pics_content_4_title_kid_2_hight 0.0)))
 (let (($x2547 (>= pics_content_4_title_kid_2_width 0.0)))
 (let (($x2546 (>= pics_content_4_title_kid_2_y 0.0)))
 (let (($x2545 (>= pics_content_4_title_kid_2_x 0.0)))
 (let (($x2544 (>= pics_content_4_title_kid_1_hight 0.0)))
 (let (($x2543 (>= pics_content_4_title_kid_1_width 0.0)))
 (let (($x2542 (>= pics_content_4_title_kid_1_y 0.0)))
 (let (($x2541 (>= pics_content_4_title_kid_1_x 0.0)))
 (let (($x2540 (>= pics_content_4_title_kid_0_hight 0.0)))
 (let (($x2539 (>= pics_content_4_title_kid_0_width 0.0)))
 (let (($x2538 (>= pics_content_4_title_kid_0_y 0.0)))
 (let (($x2537 (>= pics_content_4_title_kid_0_x 0.0)))
 (let (($x2536 (= (+ (- pics_content_4_pic_hight) pics_content_4_pic_width) 0.0)))
 (let ((?x2531 (+ (- (- pics_content_4_pic_y) pics_content_4_pic_hight) pics_content_4_title_y)))
 (let (($x2533 (or $x2505 (= ?x2531 0.0))))
 (let ((?x2525 (+ (- pics_content_4_title_hight pics_content_4_y) pics_content_4_title_y)))
 (let (($x2528 (or $x2505 (= (- ?x2525 pics_content_4_hight) 0.0))))
 (let (($x2523 (or $x2505 (= (- pics_content_4_pic_y pics_content_4_y) 0.0))))
 (let ((?x2506 (- pics_content_4_x)))
 (let ((?x2510 (+ ?x2506 pics_content_4_title_x)))
 (let (($x2519 (= (+ (- ?x2510 pics_content_4_width) pics_content_4_title_width) 0.0)))
 (let (($x2520 (or $x2505 $x2519)))
 (let ((?x2514 (+ (- (+ ?x2506 pics_content_4_pic_x) pics_content_4_width) pics_content_4_pic_width)))
 (let (($x2516 (or $x2505 (= ?x2514 0.0))))
 (let (($x2512 (or $x2505 (= ?x2510 0.0))))
 (let (($x2509 (or $x2505 (= (+ ?x2506 pics_content_4_pic_x) 0.0))))
 (let (($x2504 (>= pics_content_4_title_hight 0.0)))
 (let (($x2503 (>= pics_content_4_title_width 0.0)))
 (let (($x2502 (>= pics_content_4_title_y 0.0)))
 (let (($x2501 (>= pics_content_4_title_x 0.0)))
 (let (($x2500 (>= pics_content_4_pic_hight 0.0)))
 (let (($x2499 (>= pics_content_4_pic_width 0.0)))
 (let (($x2498 (>= pics_content_4_pic_y 0.0)))
 (let (($x2497 (>= pics_content_4_pic_x 0.0)))
 (let ((?x2401 (- (- pics_content_3_title_kid_2_y pics_content_3_title_kid_1_y) pics_content_3_title_kid_1_hight)))
 (let (($x2496 (or $x2395 (>= ?x2401 0.0))))
 (let ((?x2397 (- (- pics_content_3_title_kid_1_y pics_content_3_title_kid_0_y) pics_content_3_title_kid_0_hight)))
 (let (($x2494 (or $x2395 (>= ?x2397 0.0))))
 (let ((?x2489 (- (- pics_content_3_title_hight pics_content_3_title_kid_2_y) pics_content_3_title_kid_2_hight)))
 (let (($x2492 (or $x2395 (>= (+ ?x2489 pics_content_3_title_y) 10.0))))
 (let (($x2487 (or $x2395 (>= (- pics_content_3_title_kid_2_y pics_content_3_title_y) 10.0))))
 (let ((?x2481 (- (- pics_content_3_title_width pics_content_3_title_kid_2_x) pics_content_3_title_kid_2_width)))
 (let (($x2484 (or $x2395 (>= (+ ?x2481 pics_content_3_title_x) 10.0))))
 (let (($x2479 (or $x2395 (>= (- pics_content_3_title_kid_2_x pics_content_3_title_x) 10.0))))
 (let ((?x2474 (+ (- pics_content_3_title_hight pics_content_3_title_kid_1_y) pics_content_3_title_y)))
 (let (($x2477 (or $x2395 (>= (- ?x2474 pics_content_3_title_kid_1_hight) 10.0))))
 (let (($x2472 (or $x2395 (>= (- pics_content_3_title_kid_1_y pics_content_3_title_y) 10.0))))
 (let ((?x2466 (+ (- pics_content_3_title_width pics_content_3_title_kid_1_x) pics_content_3_title_x)))
 (let (($x2469 (or $x2395 (>= (- ?x2466 pics_content_3_title_kid_1_width) 10.0))))
 (let (($x2464 (or $x2395 (>= (- pics_content_3_title_kid_1_x pics_content_3_title_x) 10.0))))
 (let ((?x2458 (+ pics_content_3_title_hight pics_content_3_title_y)))
 (let ((?x2460 (- (- ?x2458 pics_content_3_title_kid_0_y) pics_content_3_title_kid_0_hight)))
 (let (($x2462 (or $x2395 (>= ?x2460 10.0))))
 (let ((?x2431 (+ (- pics_content_3_title_y) pics_content_3_title_kid_0_y)))
 (let (($x2457 (or $x2395 (>= ?x2431 10.0))))
 (let ((?x2452 (+ (- pics_content_3_title_width pics_content_3_title_kid_0_width) pics_content_3_title_x)))
 (let (($x2455 (or $x2395 (>= (- ?x2452 pics_content_3_title_kid_0_x) 10.0))))
 (let ((?x2405 (+ (- pics_content_3_title_x) pics_content_3_title_kid_0_x)))
 (let (($x2450 (or $x2395 (>= ?x2405 10.0))))
 (let ((?x2446 (+ (- pics_content_3_title_kid_2_hight) pics_content_3_title_kid_0_hight)))
 (let (($x2448 (or $x2395 (= ?x2446 0.0))))
 (let ((?x2442 (+ (- pics_content_3_title_kid_1_hight) pics_content_3_title_kid_0_hight)))
 (let (($x2444 (or $x2395 (= ?x2442 0.0))))
 (let (($x2440 (= pics_content_3_title_hight 200.0)))
 (let ((?x2436 (+ (+ (- pics_content_3_title_hight) pics_content_3_title_kid_2_y) pics_content_3_title_kid_2_hight)))
 (let (($x2439 (or $x2395 (= (- ?x2436 pics_content_3_title_y) (- 10.0)))))
 (let (($x2433 (or $x2395 (= ?x2431 10.0))))
 (let ((?x2426 (+ (+ (- pics_content_3_title_width) pics_content_3_title_kid_2_x) pics_content_3_title_kid_2_width)))
 (let (($x2429 (or $x2395 (= (- ?x2426 pics_content_3_title_x) (- 10.0)))))
 (let ((?x2421 (- (+ (- pics_content_3_title_width) pics_content_3_title_kid_1_x) pics_content_3_title_x)))
 (let (($x2424 (or $x2395 (= (+ ?x2421 pics_content_3_title_kid_1_width) (- 10.0)))))
 (let ((?x2416 (- (+ (- pics_content_3_title_width) pics_content_3_title_kid_0_width) pics_content_3_title_x)))
 (let (($x2419 (or $x2395 (= (+ ?x2416 pics_content_3_title_kid_0_x) (- 10.0)))))
 (let (($x2413 (or $x2395 (= (- pics_content_3_title_kid_2_x pics_content_3_title_x) 10.0))))
 (let (($x2410 (or $x2395 (= (- pics_content_3_title_kid_1_x pics_content_3_title_x) 10.0))))
 (let (($x2407 (or $x2395 (= ?x2405 10.0))))
 (let (($x2403 (or $x2395 (= ?x2401 10.0))))
 (let (($x2399 (or $x2395 (= ?x2397 10.0))))
 (let (($x2394 (>= pics_content_3_title_kid_2_hight 0.0)))
 (let (($x2393 (>= pics_content_3_title_kid_2_width 0.0)))
 (let (($x2392 (>= pics_content_3_title_kid_2_y 0.0)))
 (let (($x2391 (>= pics_content_3_title_kid_2_x 0.0)))
 (let (($x2390 (>= pics_content_3_title_kid_1_hight 0.0)))
 (let (($x2389 (>= pics_content_3_title_kid_1_width 0.0)))
 (let (($x2388 (>= pics_content_3_title_kid_1_y 0.0)))
 (let (($x2387 (>= pics_content_3_title_kid_1_x 0.0)))
 (let (($x2386 (>= pics_content_3_title_kid_0_hight 0.0)))
 (let (($x2385 (>= pics_content_3_title_kid_0_width 0.0)))
 (let (($x2384 (>= pics_content_3_title_kid_0_y 0.0)))
 (let (($x2383 (>= pics_content_3_title_kid_0_x 0.0)))
 (let (($x2382 (= (+ (- pics_content_3_pic_hight) pics_content_3_pic_width) 0.0)))
 (let ((?x2378 (- (+ (- pics_content_3_pic_hight) pics_content_3_title_y) pics_content_3_pic_y)))
 (let (($x2380 (or $x2351 (= ?x2378 0.0))))
 (let ((?x2372 (+ (- pics_content_3_title_hight pics_content_3_hight) pics_content_3_title_y)))
 (let (($x2375 (or $x2351 (= (- ?x2372 pics_content_3_y) 0.0))))
 (let (($x2370 (or $x2351 (= (+ (- pics_content_3_y) pics_content_3_pic_y) 0.0))))
 (let ((?x2364 (+ (- pics_content_3_title_width pics_content_3_width) pics_content_3_title_x)))
 (let (($x2367 (or $x2351 (= (- ?x2364 pics_content_3_x) 0.0))))
 (let ((?x2359 (- (+ pics_content_3_pic_x pics_content_3_pic_width) pics_content_3_width)))
 (let (($x2362 (or $x2351 (= (- ?x2359 pics_content_3_x) 0.0))))
 (let (($x2357 (or $x2351 (= (- pics_content_3_title_x pics_content_3_x) 0.0))))
 (let (($x2354 (or $x2351 (= (- pics_content_3_pic_x pics_content_3_x) 0.0))))
 (let (($x2350 (>= pics_content_3_title_hight 0.0)))
 (let (($x2349 (>= pics_content_3_title_width 0.0)))
 (let (($x2348 (>= pics_content_3_title_y 0.0)))
 (let (($x2347 (>= pics_content_3_title_x 0.0)))
 (let (($x2346 (>= pics_content_3_pic_hight 0.0)))
 (let (($x2345 (>= pics_content_3_pic_width 0.0)))
 (let (($x2344 (>= pics_content_3_pic_y 0.0)))
 (let (($x2343 (>= pics_content_3_pic_x 0.0)))
 (let ((?x2250 (+ (- (- pics_content_2_title_kid_1_y) pics_content_2_title_kid_1_hight) pics_content_2_title_kid_2_y)))
 (let (($x2342 (or $x2242 (>= ?x2250 0.0))))
 (let ((?x2245 (- (+ (- pics_content_2_title_kid_0_y) pics_content_2_title_kid_1_y) pics_content_2_title_kid_0_hight)))
 (let (($x2340 (or $x2242 (>= ?x2245 0.0))))
 (let ((?x2335 (+ (+ (- pics_content_2_title_kid_2_hight) pics_content_2_title_y) pics_content_2_title_hight)))
 (let (($x2338 (or $x2242 (>= (- ?x2335 pics_content_2_title_kid_2_y) 10.0))))
 (let (($x2332 (>= (+ (- pics_content_2_title_y) pics_content_2_title_kid_2_y) 10.0)))
 (let (($x2333 (or $x2242 $x2332)))
 (let ((?x2326 (- (- pics_content_2_title_width pics_content_2_title_kid_2_x) pics_content_2_title_kid_2_width)))
 (let (($x2329 (or $x2242 (>= (+ ?x2326 pics_content_2_title_x) 10.0))))
 (let (($x2324 (or $x2242 (>= (- pics_content_2_title_kid_2_x pics_content_2_title_x) 10.0))))
 (let ((?x2319 (- (+ (- pics_content_2_title_kid_1_y) pics_content_2_title_y) pics_content_2_title_kid_1_hight)))
 (let (($x2322 (or $x2242 (>= (+ ?x2319 pics_content_2_title_hight) 10.0))))
 (let (($x2317 (or $x2242 (>= (- pics_content_2_title_kid_1_y pics_content_2_title_y) 10.0))))
 (let ((?x2311 (+ (- pics_content_2_title_width pics_content_2_title_kid_1_x) pics_content_2_title_x)))
 (let (($x2314 (or $x2242 (>= (- ?x2311 pics_content_2_title_kid_1_width) 10.0))))
 (let (($x2309 (or $x2242 (>= (- pics_content_2_title_kid_1_x pics_content_2_title_x) 10.0))))
 (let ((?x2304 (- (+ (- pics_content_2_title_kid_0_y) pics_content_2_title_y) pics_content_2_title_kid_0_hight)))
 (let (($x2307 (or $x2242 (>= (+ ?x2304 pics_content_2_title_hight) 10.0))))
 (let (($x2302 (or $x2242 (>= (- pics_content_2_title_kid_0_y pics_content_2_title_y) 10.0))))
 (let ((?x2297 (+ (- pics_content_2_title_width pics_content_2_title_kid_0_x) pics_content_2_title_x)))
 (let (($x2300 (or $x2242 (>= (- ?x2297 pics_content_2_title_kid_0_width) 10.0))))
 (let (($x2295 (or $x2242 (>= (- pics_content_2_title_kid_0_x pics_content_2_title_x) 10.0))))
 (let ((?x2290 (- pics_content_2_title_kid_2_hight)))
 (let (($x2293 (or $x2242 (= (+ ?x2290 pics_content_2_title_kid_0_hight) 0.0))))
 (let (($x2288 (= (- pics_content_2_title_kid_0_hight pics_content_2_title_kid_1_hight) 0.0)))
 (let (($x2289 (or $x2242 $x2288)))
 (let (($x2286 (= pics_content_2_title_hight 200.0)))
 (let ((?x2282 (- (- pics_content_2_title_kid_2_hight pics_content_2_title_y) pics_content_2_title_hight)))
 (let (($x2285 (or $x2242 (= (+ ?x2282 pics_content_2_title_kid_2_y) (- 10.0)))))
 (let (($x2280 (or $x2242 (= (- pics_content_2_title_kid_0_y pics_content_2_title_y) 10.0))))
 (let ((?x2274 (+ (+ (- pics_content_2_title_width) pics_content_2_title_kid_2_x) pics_content_2_title_kid_2_width)))
 (let (($x2277 (or $x2242 (= (- ?x2274 pics_content_2_title_x) (- 10.0)))))
 (let ((?x2269 (- (+ (- pics_content_2_title_width) pics_content_2_title_kid_1_x) pics_content_2_title_x)))
 (let (($x2272 (or $x2242 (= (+ ?x2269 pics_content_2_title_kid_1_width) (- 10.0)))))
 (let ((?x2264 (- (+ (- pics_content_2_title_width) pics_content_2_title_kid_0_x) pics_content_2_title_x)))
 (let (($x2267 (or $x2242 (= (+ ?x2264 pics_content_2_title_kid_0_width) (- 10.0)))))
 (let (($x2261 (or $x2242 (= (- pics_content_2_title_kid_2_x pics_content_2_title_x) 10.0))))
 (let (($x2258 (or $x2242 (= (- pics_content_2_title_kid_1_x pics_content_2_title_x) 10.0))))
 (let (($x2255 (or $x2242 (= (- pics_content_2_title_kid_0_x pics_content_2_title_x) 10.0))))
 (let (($x2252 (or $x2242 (= ?x2250 10.0))))
 (let (($x2247 (or $x2242 (= ?x2245 10.0))))
 (let (($x2241 (>= pics_content_2_title_kid_2_hight 0.0)))
 (let (($x2240 (>= pics_content_2_title_kid_2_width 0.0)))
 (let (($x2239 (>= pics_content_2_title_kid_2_y 0.0)))
 (let (($x2238 (>= pics_content_2_title_kid_2_x 0.0)))
 (let (($x2237 (>= pics_content_2_title_kid_1_hight 0.0)))
 (let (($x2236 (>= pics_content_2_title_kid_1_width 0.0)))
 (let (($x2235 (>= pics_content_2_title_kid_1_y 0.0)))
 (let (($x2234 (>= pics_content_2_title_kid_1_x 0.0)))
 (let (($x2233 (>= pics_content_2_title_kid_0_hight 0.0)))
 (let (($x2232 (>= pics_content_2_title_kid_0_width 0.0)))
 (let (($x2231 (>= pics_content_2_title_kid_0_y 0.0)))
 (let (($x2230 (>= pics_content_2_title_kid_0_x 0.0)))
 (let (($x2229 (= (- pics_content_2_pic_width pics_content_2_pic_hight) 0.0)))
 (let ((?x2225 (- (- pics_content_2_title_y pics_content_2_pic_y) pics_content_2_pic_hight)))
 (let (($x2227 (or $x2199 (= ?x2225 0.0))))
 (let ((?x2220 (+ (+ (- pics_content_2_hight) pics_content_2_title_y) pics_content_2_title_hight)))
 (let (($x2223 (or $x2199 (= (- ?x2220 pics_content_2_y) 0.0))))
 (let (($x2218 (or $x2199 (= (- pics_content_2_pic_y pics_content_2_y) 0.0))))
 (let ((?x2212 (- (- pics_content_2_title_width pics_content_2_x) pics_content_2_width)))
 (let (($x2215 (or $x2199 (= (+ ?x2212 pics_content_2_title_x) 0.0))))
 (let ((?x2200 (- pics_content_2_pic_x pics_content_2_x)))
 (let (($x2210 (or $x2199 (= (- (+ ?x2200 pics_content_2_pic_width) pics_content_2_width) 0.0))))
 (let (($x2206 (or $x2199 (= (+ (- pics_content_2_x) pics_content_2_title_x) 0.0))))
 (let (($x2202 (or $x2199 (= ?x2200 0.0))))
 (let (($x2198 (>= pics_content_2_title_hight 0.0)))
 (let (($x2197 (>= pics_content_2_title_width 0.0)))
 (let (($x2196 (>= pics_content_2_title_y 0.0)))
 (let (($x2195 (>= pics_content_2_title_x 0.0)))
 (let (($x2194 (>= pics_content_2_pic_hight 0.0)))
 (let (($x2193 (>= pics_content_2_pic_width 0.0)))
 (let (($x2192 (>= pics_content_2_pic_y 0.0)))
 (let (($x2191 (>= pics_content_2_pic_x 0.0)))
 (let ((?x2096 (- (- pics_content_1_title_kid_2_y pics_content_1_title_kid_1_y) pics_content_1_title_kid_1_hight)))
 (let (($x2190 (or $x2089 (>= ?x2096 0.0))))
 (let ((?x2092 (- (+ (- pics_content_1_title_kid_0_hight) pics_content_1_title_kid_1_y) pics_content_1_title_kid_0_y)))
 (let (($x2188 (or $x2089 (>= ?x2092 0.0))))
 (let ((?x2183 (+ (+ (- pics_content_1_title_kid_2_hight) pics_content_1_title_y) pics_content_1_title_hight)))
 (let (($x2186 (or $x2089 (>= (- ?x2183 pics_content_1_title_kid_2_y) 10.0))))
 (let (($x2180 (>= (+ (- pics_content_1_title_y) pics_content_1_title_kid_2_y) 10.0)))
 (let (($x2181 (or $x2089 $x2180)))
 (let ((?x2175 (+ (+ (- pics_content_1_title_kid_2_width) pics_content_1_title_x) pics_content_1_title_width)))
 (let (($x2178 (or $x2089 (>= (- ?x2175 pics_content_1_title_kid_2_x) 10.0))))
 (let ((?x2106 (+ (- pics_content_1_title_x) pics_content_1_title_kid_2_x)))
 (let (($x2172 (or $x2089 (>= ?x2106 10.0))))
 (let ((?x2167 (- (+ pics_content_1_title_y pics_content_1_title_hight) pics_content_1_title_kid_1_y)))
 (let (($x2170 (or $x2089 (>= (- ?x2167 pics_content_1_title_kid_1_hight) 10.0))))
 (let (($x2164 (>= (+ (- pics_content_1_title_y) pics_content_1_title_kid_1_y) 10.0)))
 (let (($x2165 (or $x2089 $x2164)))
 (let ((?x2159 (+ (- (- pics_content_1_title_kid_1_x) pics_content_1_title_kid_1_width) pics_content_1_title_x)))
 (let (($x2162 (or $x2089 (>= (+ ?x2159 pics_content_1_title_width) 10.0))))
 (let (($x2156 (or $x2089 (>= (- pics_content_1_title_kid_1_x pics_content_1_title_x) 10.0))))
 (let ((?x2151 (+ (- pics_content_1_title_y pics_content_1_title_kid_0_hight) pics_content_1_title_hight)))
 (let (($x2154 (or $x2089 (>= (- ?x2151 pics_content_1_title_kid_0_y) 10.0))))
 (let ((?x2123 (- pics_content_1_title_y)))
 (let ((?x2124 (+ ?x2123 pics_content_1_title_kid_0_y)))
 (let (($x2149 (or $x2089 (>= ?x2124 10.0))))
 (let ((?x2144 (- (+ (- pics_content_1_title_kid_0_x) pics_content_1_title_x) pics_content_1_title_kid_0_width)))
 (let (($x2147 (or $x2089 (>= (+ ?x2144 pics_content_1_title_width) 10.0))))
 (let (($x2141 (or $x2089 (>= (- pics_content_1_title_kid_0_x pics_content_1_title_x) 10.0))))
 (let ((?x2136 (- pics_content_1_title_kid_2_hight)))
 (let (($x2139 (or $x2089 (= (+ ?x2136 pics_content_1_title_kid_0_hight) 0.0))))
 (let (($x2134 (= (- pics_content_1_title_kid_0_hight pics_content_1_title_kid_1_hight) 0.0)))
 (let (($x2135 (or $x2089 $x2134)))
 (let (($x2132 (= pics_content_1_title_hight 200.0)))
 (let ((?x2128 (- (- pics_content_1_title_kid_2_hight pics_content_1_title_y) pics_content_1_title_hight)))
 (let (($x2131 (or $x2089 (= (+ ?x2128 pics_content_1_title_kid_2_y) (- 10.0)))))
 (let (($x2126 (or $x2089 (= ?x2124 10.0))))
 (let ((?x2119 (- (- pics_content_1_title_kid_2_width pics_content_1_title_x) pics_content_1_title_width)))
 (let (($x2122 (or $x2089 (= (+ ?x2119 pics_content_1_title_kid_2_x) (- 10.0)))))
 (let ((?x2114 (- (+ pics_content_1_title_kid_1_x pics_content_1_title_kid_1_width) pics_content_1_title_x)))
 (let (($x2117 (or $x2089 (= (- ?x2114 pics_content_1_title_width) (- 10.0)))))
 (let ((?x2099 (- pics_content_1_title_kid_0_x pics_content_1_title_x)))
 (let ((?x2110 (- (+ ?x2099 pics_content_1_title_kid_0_width) pics_content_1_title_width)))
 (let (($x2112 (or $x2089 (= ?x2110 (- 10.0)))))
 (let (($x2108 (or $x2089 (= ?x2106 10.0))))
 (let (($x2104 (or $x2089 (= (- pics_content_1_title_kid_1_x pics_content_1_title_x) 10.0))))
 (let (($x2101 (or $x2089 (= ?x2099 10.0))))
 (let (($x2098 (or $x2089 (= ?x2096 10.0))))
 (let (($x2094 (or $x2089 (= ?x2092 10.0))))
 (let (($x2088 (>= pics_content_1_title_kid_2_hight 0.0)))
 (let (($x2087 (>= pics_content_1_title_kid_2_width 0.0)))
 (let (($x2086 (>= pics_content_1_title_kid_2_y 0.0)))
 (let (($x2085 (>= pics_content_1_title_kid_2_x 0.0)))
 (let (($x2084 (>= pics_content_1_title_kid_1_hight 0.0)))
 (let (($x2083 (>= pics_content_1_title_kid_1_width 0.0)))
 (let (($x2082 (>= pics_content_1_title_kid_1_y 0.0)))
 (let (($x2081 (>= pics_content_1_title_kid_1_x 0.0)))
 (let (($x2080 (>= pics_content_1_title_kid_0_hight 0.0)))
 (let (($x2079 (>= pics_content_1_title_kid_0_width 0.0)))
 (let (($x2078 (>= pics_content_1_title_kid_0_y 0.0)))
 (let (($x2077 (>= pics_content_1_title_kid_0_x 0.0)))
 (let (($x2076 (= (+ (- pics_content_1_pic_hight) pics_content_1_pic_width) 0.0)))
 (let ((?x2071 (- (+ (- pics_content_1_pic_y) pics_content_1_title_y) pics_content_1_pic_hight)))
 (let (($x2073 (or $x2045 (= ?x2071 0.0))))
 (let ((?x2066 (+ (- (+ ?x1755 pics_content_1_title_y) pics_content_1_hight) pics_content_1_title_hight)))
 (let (($x2068 (or $x2045 (= ?x2066 0.0))))
 (let (($x2063 (or $x2045 (= (+ ?x1755 pics_content_1_pic_y) 0.0))))
 (let ((?x2046 (- pics_content_1_x)))
 (let ((?x2050 (+ ?x2046 pics_content_1_title_x)))
 (let (($x2059 (= (+ (- ?x2050 pics_content_1_width) pics_content_1_title_width) 0.0)))
 (let (($x2060 (or $x2045 $x2059)))
 (let ((?x2054 (+ (- (+ ?x2046 pics_content_1_pic_x) pics_content_1_width) pics_content_1_pic_width)))
 (let (($x2056 (or $x2045 (= ?x2054 0.0))))
 (let (($x2052 (or $x2045 (= ?x2050 0.0))))
 (let (($x2049 (or $x2045 (= (+ ?x2046 pics_content_1_pic_x) 0.0))))
 (let (($x2044 (>= pics_content_1_title_hight 0.0)))
 (let (($x2043 (>= pics_content_1_title_width 0.0)))
 (let (($x2042 (>= pics_content_1_title_y 0.0)))
 (let (($x2041 (>= pics_content_1_title_x 0.0)))
 (let (($x2040 (>= pics_content_1_pic_hight 0.0)))
 (let (($x2039 (>= pics_content_1_pic_width 0.0)))
 (let (($x2038 (>= pics_content_1_pic_y 0.0)))
 (let (($x2037 (>= pics_content_1_pic_x 0.0)))
 (let ((?x1945 (- (- pics_content_0_title_kid_2_y pics_content_0_title_kid_1_y) pics_content_0_title_kid_1_hight)))
 (let (($x2036 (or $x1938 (>= ?x1945 0.0))))
 (let ((?x1941 (+ (- (- pics_content_0_title_kid_0_hight) pics_content_0_title_kid_0_y) pics_content_0_title_kid_1_y)))
 (let (($x2034 (or $x1938 (>= ?x1941 0.0))))
 (let ((?x2029 (- (- pics_content_0_title_hight pics_content_0_title_kid_2_y) pics_content_0_title_kid_2_hight)))
 (let (($x2032 (or $x1938 (>= (+ ?x2029 pics_content_0_title_y) 10.0))))
 (let (($x2027 (or $x1938 (>= (- pics_content_0_title_kid_2_y pics_content_0_title_y) 10.0))))
 (let ((?x2021 (+ (+ (- pics_content_0_title_kid_2_width) pics_content_0_title_x) pics_content_0_title_width)))
 (let (($x2024 (or $x1938 (>= (- ?x2021 pics_content_0_title_kid_2_x) 10.0))))
 (let ((?x1948 (- pics_content_0_title_x)))
 (let ((?x1955 (+ ?x1948 pics_content_0_title_kid_2_x)))
 (let (($x2018 (or $x1938 (>= ?x1955 10.0))))
 (let ((?x2013 (+ (- pics_content_0_title_hight pics_content_0_title_kid_1_y) pics_content_0_title_y)))
 (let (($x2016 (or $x1938 (>= (- ?x2013 pics_content_0_title_kid_1_hight) 10.0))))
 (let (($x2011 (or $x1938 (>= (- pics_content_0_title_kid_1_y pics_content_0_title_y) 10.0))))
 (let ((?x2005 (+ (- pics_content_0_title_x pics_content_0_title_kid_1_width) pics_content_0_title_width)))
 (let (($x2008 (or $x1938 (>= (- ?x2005 pics_content_0_title_kid_1_x) 10.0))))
 (let (($x2003 (or $x1938 (>= (+ ?x1948 pics_content_0_title_kid_1_x) 10.0))))
 (let ((?x1998 (- (- pics_content_0_title_hight pics_content_0_title_kid_0_hight) pics_content_0_title_kid_0_y)))
 (let (($x2001 (or $x1938 (>= (+ ?x1998 pics_content_0_title_y) 10.0))))
 (let (($x1996 (or $x1938 (>= (- pics_content_0_title_kid_0_y pics_content_0_title_y) 10.0))))
 (let ((?x1908 (+ pics_content_0_title_x pics_content_0_title_width)))
 (let ((?x1992 (- (- ?x1908 pics_content_0_title_kid_0_width) pics_content_0_title_kid_0_x)))
 (let (($x1994 (or $x1938 (>= ?x1992 10.0))))
 (let (($x1990 (or $x1938 (>= (+ ?x1948 pics_content_0_title_kid_0_x) 10.0))))
 (let (($x1987 (= (- pics_content_0_title_kid_0_hight pics_content_0_title_kid_2_hight) 0.0)))
 (let (($x1988 (or $x1938 $x1987)))
 (let (($x1984 (= (- pics_content_0_title_kid_0_hight pics_content_0_title_kid_1_hight) 0.0)))
 (let (($x1985 (or $x1938 $x1984)))
 (let (($x1982 (= pics_content_0_title_hight 200.0)))
 (let ((?x1978 (+ (+ (- pics_content_0_title_hight) pics_content_0_title_kid_2_y) pics_content_0_title_kid_2_hight)))
 (let (($x1981 (or $x1938 (= (- ?x1978 pics_content_0_title_y) (- 10.0)))))
 (let (($x1975 (or $x1938 (= (- pics_content_0_title_kid_0_y pics_content_0_title_y) 10.0))))
 (let ((?x1969 (- (- pics_content_0_title_kid_2_width pics_content_0_title_x) pics_content_0_title_width)))
 (let (($x1972 (or $x1938 (= (+ ?x1969 pics_content_0_title_kid_2_x) (- 10.0)))))
 (let ((?x1964 (- (+ ?x1948 pics_content_0_title_kid_1_width) pics_content_0_title_width)))
 (let (($x1967 (or $x1938 (= (+ ?x1964 pics_content_0_title_kid_1_x) (- 10.0)))))
 (let ((?x1959 (+ (- ?x1948 pics_content_0_title_width) pics_content_0_title_kid_0_width)))
 (let (($x1962 (or $x1938 (= (+ ?x1959 pics_content_0_title_kid_0_x) (- 10.0)))))
 (let (($x1957 (or $x1938 (= ?x1955 10.0))))
 (let (($x1954 (or $x1938 (= (+ ?x1948 pics_content_0_title_kid_1_x) 10.0))))
 (let (($x1951 (or $x1938 (= (+ ?x1948 pics_content_0_title_kid_0_x) 10.0))))
 (let (($x1947 (or $x1938 (= ?x1945 10.0))))
 (let (($x1943 (or $x1938 (= ?x1941 10.0))))
 (let (($x1937 (>= pics_content_0_title_kid_2_hight 0.0)))
 (let (($x1936 (>= pics_content_0_title_kid_2_width 0.0)))
 (let (($x1935 (>= pics_content_0_title_kid_2_y 0.0)))
 (let (($x1934 (>= pics_content_0_title_kid_2_x 0.0)))
 (let (($x1933 (>= pics_content_0_title_kid_1_hight 0.0)))
 (let (($x1932 (>= pics_content_0_title_kid_1_width 0.0)))
 (let (($x1931 (>= pics_content_0_title_kid_1_y 0.0)))
 (let (($x1930 (>= pics_content_0_title_kid_1_x 0.0)))
 (let (($x1929 (>= pics_content_0_title_kid_0_hight 0.0)))
 (let (($x1928 (>= pics_content_0_title_kid_0_width 0.0)))
 (let (($x1927 (>= pics_content_0_title_kid_0_y 0.0)))
 (let (($x1926 (>= pics_content_0_title_kid_0_x 0.0)))
 (let ((?x1923 (+ (- (- pics_content_0_pic_y) pics_content_0_pic_hight) pics_content_0_title_y)))
 (let (($x1925 (or $x1897 (= ?x1923 0.0))))
 (let ((?x1917 (- (- pics_content_0_title_hight pics_content_0_y) pics_content_0_hight)))
 (let (($x1920 (or $x1897 (= (+ ?x1917 pics_content_0_title_y) 0.0))))
 (let (($x1915 (or $x1897 (= (- pics_content_0_pic_y pics_content_0_y) 0.0))))
 (let (($x1912 (or $x1897 (= (- (- ?x1908 pics_content_0_x) pics_content_0_width) 0.0))))
 (let ((?x1898 (- pics_content_0_pic_x pics_content_0_x)))
 (let (($x1907 (or $x1897 (= (- (+ ?x1898 pics_content_0_pic_width) pics_content_0_width) 0.0))))
 (let (($x1903 (or $x1897 (= (- pics_content_0_title_x pics_content_0_x) 0.0))))
 (let (($x1900 (or $x1897 (= ?x1898 0.0))))
 (let (($x1896 (>= pics_content_0_title_hight 0.0)))
 (let (($x1895 (>= pics_content_0_title_width 0.0)))
 (let (($x1894 (>= pics_content_0_title_y 0.0)))
 (let (($x1893 (>= pics_content_0_title_x 0.0)))
 (let (($x1892 (>= pics_content_0_pic_hight 0.0)))
 (let (($x1891 (>= pics_content_0_pic_width 0.0)))
 (let (($x1890 (>= pics_content_0_pic_y 0.0)))
 (let (($x1889 (>= pics_content_0_pic_x 0.0)))
 (let (($x1888 (or $x1795 (= (+ (- pics_content_4_width) pics_content_2_width) 0.0))))
 (let (($x1884 (or $x1795 (= (- pics_content_2_width pics_content_3_width) 0.0))))
 (let (($x1881 (or $x1795 (= (- pics_content_2_hight pics_content_5_hight) 0.0))))
 (let ((?x1876 (- (+ (- (- 10.0) pics_content_2_hight) pics_content_5_y) pics_content_2_y)))
 (let (($x1878 (or $x1795 (= ?x1876 0.0))))
 (let ((?x1871 (- (- (+ (- 10.0) pics_content_4_x) pics_content_3_width) pics_content_3_x)))
 (let (($x1873 (or $x1795 (= ?x1871 0.0))))
 (let ((?x1866 (+ (- (- (- 10.0) pics_content_2_x) pics_content_2_width) pics_content_3_x)))
 (let (($x1868 (or $x1795 (= ?x1866 0.0))))
 (let (($x1863 (or $x1795 (= (- pics_content_4_width pics_content_7_width) 0.0))))
 (let (($x1860 (or $x1795 (= (- pics_content_4_x pics_content_7_x) 0.0))))
 (let (($x1857 (or $x1795 (= (- pics_content_3_width pics_content_6_width) 0.0))))
 (let (($x1854 (or $x1795 (= (+ (- pics_content_6_x) pics_content_3_x) 0.0))))
 (let (($x1850 (or $x1795 (= (+ (- pics_content_5_width) pics_content_2_width) 0.0))))
 (let (($x1846 (or $x1795 (= (- pics_content_2_x pics_content_5_x) 0.0))))
 (let (($x1843 (or $x1795 (= (+ (- pics_content_7_hight) pics_content_5_hight) 0.0))))
 (let (($x1839 (or $x1795 (= (+ ?x1836 pics_content_5_y) 0.0))))
 (let (($x1835 (or $x1795 (= (+ (- pics_content_6_hight) pics_content_5_hight) 0.0))))
 (let (($x1831 (or $x1795 (= (+ (- pics_content_6_y) pics_content_5_y) 0.0))))
 (let (($x1827 (or $x1795 (= (- pics_content_2_hight pics_content_4_hight) 0.0))))
 (let (($x1824 (or $x1795 (= (+ (- pics_content_4_y) pics_content_2_y) 0.0))))
 (let (($x1820 (or $x1795 (= (- pics_content_2_hight pics_content_3_hight) 0.0))))
 (let (($x1817 (or $x1795 (= (+ (- pics_content_3_y) pics_content_2_y) 0.0))))
 (let ((?x1811 (+ (- (+ (- main_pic_1_tbl_y) pics_content_7_y) main_pic_1_tbl_hight) pics_content_7_hight)))
 (let (($x1813 (or $x1795 (= ?x1811 0.0))))
 (let ((?x1806 (+ (- (+ (- main_pic_1_tbl_x) pics_content_7_x) main_pic_1_tbl_width) pics_content_7_width)))
 (let (($x1808 (or $x1795 (= ?x1806 0.0))))
 (let (($x1802 (or $x1795 (= (+ (- main_pic_1_tbl_y) pics_content_2_y) 0.0))))
 (let (($x1798 (or $x1795 (= (- pics_content_2_x main_pic_1_tbl_x) 0.0))))
 (let (($x1794 (>= pics_content_7_hight 0.0)))
 (let (($x1793 (>= pics_content_7_width 0.0)))
 (let (($x1792 (>= pics_content_7_y 0.0)))
 (let (($x1791 (>= pics_content_7_x 0.0)))
 (let (($x1790 (>= pics_content_6_hight 0.0)))
 (let (($x1789 (>= pics_content_6_width 0.0)))
 (let (($x1788 (>= pics_content_6_y 0.0)))
 (let (($x1787 (>= pics_content_6_x 0.0)))
 (let (($x1786 (>= pics_content_5_hight 0.0)))
 (let (($x1785 (>= pics_content_5_width 0.0)))
 (let (($x1784 (>= pics_content_5_y 0.0)))
 (let (($x1783 (>= pics_content_5_x 0.0)))
 (let (($x1782 (>= pics_content_4_hight 0.0)))
 (let (($x1781 (>= pics_content_4_width 0.0)))
 (let (($x1780 (>= pics_content_4_y 0.0)))
 (let (($x1779 (>= pics_content_4_x 0.0)))
 (let (($x1778 (>= pics_content_3_hight 0.0)))
 (let (($x1777 (>= pics_content_3_width 0.0)))
 (let (($x1776 (>= pics_content_3_y 0.0)))
 (let (($x1775 (>= pics_content_3_x 0.0)))
 (let (($x1774 (>= pics_content_1_width 220.0)))
 (let (($x1772 (= (+ (- pics_content_2_width) pics_content_1_width) 0.0)))
 (let (($x1769 (= (+ (- pics_content_2_hight) pics_content_1_hight) 0.0)))
 (let (($x1766 (>= pics_content_2_hight 0.0)))
 (let (($x1765 (>= pics_content_2_width 0.0)))
 (let (($x1764 (>= pics_content_2_y 0.0)))
 (let (($x1763 (>= pics_content_2_x 0.0)))
 (let ((?x1727 (- (- pics_content_1_x pics_content_0_x) pics_content_0_width)))
 (let (($x1762 (or $x1701 (>= ?x1727 0.0))))
 (let (($x1760 (or $x1701 (>= (+ (+ ?x1756 main_pic_1_top_y) main_pic_1_top_hight) 0.0))))
 (let (($x1754 (or $x1701 (>= (- pics_content_1_y main_pic_1_top_y) 0.0))))
 (let ((?x1750 (+ (- (- main_pic_1_top_width pics_content_1_x) pics_content_1_width) main_pic_1_top_x)))
 (let (($x1752 (or $x1701 (>= ?x1750 0.0))))
 (let (($x1747 (or $x1701 (>= (- pics_content_1_x main_pic_1_top_x) 0.0))))
 (let ((?x1742 (+ (- (+ (- pics_content_0_y) main_pic_1_top_y) pics_content_0_hight) main_pic_1_top_hight)))
 (let (($x1744 (or $x1701 (>= ?x1742 0.0))))
 (let (($x1738 (or $x1701 (>= (- pics_content_0_y main_pic_1_top_y) 0.0))))
 (let ((?x1734 (- (+ (- main_pic_1_top_width pics_content_0_x) main_pic_1_top_x) pics_content_0_width)))
 (let (($x1736 (or $x1701 (>= ?x1734 0.0))))
 (let (($x1731 (or $x1701 (>= (- pics_content_0_x main_pic_1_top_x) 0.0))))
 (let (($x1729 (or $x1701 (= ?x1727 10.0))))
 (let ((?x1723 (- (- (+ pics_content_1_y pics_content_1_hight) main_pic_1_top_y) main_pic_1_top_hight)))
 (let (($x1725 (or $x1701 (= ?x1723 0.0))))
 (let ((?x1718 (- (+ (- pics_content_0_y main_pic_1_top_y) pics_content_0_hight) main_pic_1_top_hight)))
 (let (($x1720 (or $x1701 (= ?x1718 0.0))))
 (let (($x1716 (or $x1701 (= (- pics_content_1_y main_pic_1_top_y) 0.0))))
 (let (($x1713 (or $x1701 (= (- pics_content_0_y main_pic_1_top_y) 0.0))))
 (let ((?x1707 (+ (+ (- main_pic_1_top_width) pics_content_1_x) pics_content_1_width)))
 (let (($x1710 (or $x1701 (= (- ?x1707 main_pic_1_top_x) 0.0))))
 (let (($x1704 (or $x1701 (= (- pics_content_0_x main_pic_1_top_x) 0.0))))
 (let (($x1700 (>= pics_content_1_hight 0.0)))
 (let (($x1699 (>= pics_content_1_width 0.0)))
 (let (($x1698 (>= pics_content_1_y 0.0)))
 (let (($x1697 (>= pics_content_1_x 0.0)))
 (let (($x1696 (>= pics_content_0_hight 0.0)))
 (let (($x1695 (>= pics_content_0_width 0.0)))
 (let (($x1694 (>= pics_content_0_y 0.0)))
 (let (($x1693 (>= pics_content_0_x 0.0)))
 (let (($x1691 (= (- (- main_pic_1_tbl_y main_pic_1_top_y) main_pic_1_top_hight) 10.0)))
 (let (($x1692 (or $x1620 $x1691)))
 (let ((?x1686 (- (+ (+ (- main_pic_1_hight) main_pic_1_tbl_y) main_pic_1_tbl_hight) main_pic_1_y)))
 (let (($x1688 (or $x1620 (= ?x1686 0.0))))
 (let (($x1682 (or $x1620 (= (- main_pic_1_top_y main_pic_1_y) 0.0))))
 (let ((?x1677 (+ (+ (- (- main_pic_1_x) main_pic_1_width) main_pic_1_tbl_x) main_pic_1_tbl_width)))
 (let (($x1679 (or $x1620 (= ?x1677 0.0))))
 (let ((?x1672 (+ (- (+ (- main_pic_1_x) main_pic_1_top_width) main_pic_1_width) main_pic_1_top_x)))
 (let (($x1674 (or $x1620 (= ?x1672 0.0))))
 (let (($x1669 (or $x1620 (= (+ (- main_pic_1_x) main_pic_1_tbl_x) 0.0))))
 (let (($x1666 (or $x1620 (= (+ (- main_pic_1_x) main_pic_1_top_x) 0.0))))
 (let (($x1662 (>= main_pic_1_tbl_hight 0.0)))
 (let (($x1661 (>= main_pic_1_tbl_width 0.0)))
 (let (($x1660 (>= main_pic_1_tbl_y 0.0)))
 (let (($x1659 (>= main_pic_1_tbl_x 0.0)))
 (let (($x1658 (>= main_pic_1_top_hight 0.0)))
 (let (($x1657 (>= main_pic_1_top_width 0.0)))
 (let (($x1656 (>= main_pic_1_top_y 0.0)))
 (let (($x1655 (>= main_pic_1_top_x 0.0)))
 (let (($x1654 (or $x1620 $x1637)))
 (let (($x1653 (or main_pic_1_feasible main_pic_2_feasible)))
 (let ((?x1650 (+ (+ (- (- main_pics_holder_y) main_pics_holder_hight) main_pic_2_y) main_pic_2_hight)))
 (let (($x1652 (or $x1637 (= ?x1650 0.0))))
 (let (($x1648 (or $x1637 (= (+ (- main_pics_holder_y) main_pic_2_y) 0.0))))
 (let ((?x1643 (- (- (+ main_pic_2_x main_pic_2_width) main_pics_holder_x) main_pics_holder_width)))
 (let (($x1645 (or $x1637 (= ?x1643 0.0))))
 (let (($x1640 (or $x1637 (= (- main_pic_2_x main_pics_holder_x) 0.0))))
 (let ((?x1634 (+ (- (- main_pic_1_hight main_pics_holder_y) main_pics_holder_hight) main_pic_1_y)))
 (let (($x1636 (or $x1620 (= ?x1634 0.0))))
 (let (($x1631 (or $x1620 (= (+ (- main_pics_holder_y) main_pic_1_y) 0.0))))
 (let ((?x1626 (- (- (+ main_pic_1_x main_pic_1_width) main_pics_holder_x) main_pics_holder_width)))
 (let (($x1628 (or $x1620 (= ?x1626 0.0))))
 (let (($x1623 (or $x1620 (= (- main_pic_1_x main_pics_holder_x) 0.0))))
 (let (($x1619 (>= main_pic_2_hight 0.0)))
 (let (($x1618 (>= main_pic_2_width 0.0)))
 (let (($x1617 (>= main_pic_2_y 0.0)))
 (let (($x1616 (>= main_pic_2_x 0.0)))
 (let (($x1615 (>= main_pic_1_hight 0.0)))
 (let (($x1614 (>= main_pic_1_width 0.0)))
 (let (($x1613 (>= main_pic_1_y 0.0)))
 (let (($x1612 (>= main_pic_1_x 0.0)))
 (let (($x1611 (>= (- (- main_news_kid_1_x main_news_kid_0_x) main_news_kid_0_width) 0.0)))
 (let ((?x1607 (- (+ (+ (- main_news_kid_1_hight) main_news_y) main_news_hight) main_news_kid_1_y)))
 (let (($x1608 (>= ?x1607 0.0)))
 (let ((?x1155 (- main_news_y)))
 (let ((?x1570 (+ ?x1155 main_news_kid_1_y)))
 (let (($x1603 (>= ?x1570 0.0)))
 (let ((?x1601 (+ (+ (- (- main_news_kid_1_x) main_news_kid_1_width) main_news_x) main_news_width)))
 (let (($x1602 (>= ?x1601 0.0)))
 (let (($x1597 (>= (- main_news_kid_1_x main_news_x) 0.0)))
 (let ((?x1594 (+ (- (+ (- main_news_kid_0_y) main_news_y) main_news_kid_0_hight) main_news_hight)))
 (let (($x1595 (>= ?x1594 0.0)))
 (let ((?x1565 (- main_news_kid_0_y main_news_y)))
 (let (($x1590 (>= ?x1565 0.0)))
 (let ((?x1588 (+ (- (+ (- main_news_kid_0_x) main_news_x) main_news_kid_0_width) main_news_width)))
 (let (($x1589 (>= ?x1588 0.0)))
 (let ((?x1576 (- main_news_kid_0_x main_news_x)))
 (let (($x1584 (>= ?x1576 0.0)))
 (let (($x1583 (= main_news_kid_1_width 100.0)))
 (let (($x1582 (= main_news_kid_0_width 100.0)))
 (let ((?x1580 (- (- (+ main_news_kid_1_x main_news_kid_1_width) main_news_x) main_news_width)))
 (let (($x1581 (= ?x1580 0.0)))
 (let (($x1577 (= ?x1576 0.0)))
 (let ((?x1574 (+ (- (- main_news_kid_1_hight main_news_y) main_news_hight) main_news_kid_1_y)))
 (let (($x1575 (= ?x1574 0.0)))
 (let (($x1571 (= ?x1570 0.0)))
 (let (($x1569 (= (- (+ ?x1565 main_news_kid_0_hight) main_news_hight) 0.0)))
 (let (($x1566 (= ?x1565 0.0)))
 (let (($x1564 (= main_news_hight 50.0)))
 (let (($x1563 (>= main_news_kid_1_hight 0.0)))
 (let (($x1562 (>= main_news_kid_1_width 0.0)))
 (let (($x1561 (>= main_news_kid_1_y 0.0)))
 (let (($x1560 (>= main_news_kid_1_x 0.0)))
 (let (($x1559 (>= main_news_kid_0_hight 0.0)))
 (let (($x1558 (>= main_news_kid_0_width 0.0)))
 (let (($x1557 (>= main_news_kid_0_y 0.0)))
 (let (($x1556 (>= main_news_kid_0_x 0.0)))
 (let ((?x1478 (- (+ (- meituan_slogan_hight) meituan_learn_more_y) meituan_slogan_y)))
 (let (($x1555 (or $x1261 (>= ?x1478 0.0))))
 (let ((?x1323 (- (+ (- meituan_is_a_retail_comp_hight) meituan_slogan_y) meituan_is_a_retail_comp_y)))
 (let (($x1449 (>= ?x1323 0.0)))
 (let (($x1553 (or $x1261 $x1449)))
 (let ((?x1549 (- (- main_title_2_hight meituan_learn_more_y) meituan_learn_more_hight)))
 (let (($x1552 (or $x1261 (>= (+ ?x1549 main_title_2_y) 10.0))))
 (let (($x1547 (or $x1261 (>= (- meituan_learn_more_y main_title_2_y) 10.0))))
 (let ((?x1542 (- (- (+ main_title_2_x main_title_2_width) meituan_learn_more_x) meituan_learn_more_width)))
 (let (($x1544 (or $x1261 (>= ?x1542 10.0))))
 (let (($x1539 (or $x1261 (>= (+ (- main_title_2_x) meituan_learn_more_x) 10.0))))
 (let ((?x1533 (+ (- (+ (- meituan_slogan_hight) main_title_2_hight) meituan_slogan_y) main_title_2_y)))
 (let (($x1535 (or $x1261 (>= ?x1533 10.0))))
 (let (($x1530 (or $x1261 (>= (- meituan_slogan_y main_title_2_y) 10.0))))
 (let ((?x1525 (+ (- (+ (- meituan_slogan_x) main_title_2_x) meituan_slogan_width) main_title_2_width)))
 (let (($x1527 (or $x1261 (>= ?x1525 10.0))))
 (let (($x1522 (or $x1261 (>= (- meituan_slogan_x main_title_2_x) 10.0))))
 (let ((?x1516 (+ (- main_title_2_hight meituan_is_a_retail_comp_hight) main_title_2_y)))
 (let (($x1519 (or $x1261 (>= (- ?x1516 meituan_is_a_retail_comp_y) 10.0))))
 (let (($x1514 (or $x1261 (>= (+ (- main_title_2_y) meituan_is_a_retail_comp_y) 10.0))))
 (let ((?x1509 (+ (+ (- meituan_is_a_retail_comp_x) main_title_2_x) main_title_2_width)))
 (let (($x1512 (or $x1261 (>= (- ?x1509 meituan_is_a_retail_comp_width) 10.0))))
 (let (($x1507 (or $x1261 (>= (- meituan_is_a_retail_comp_x main_title_2_x) 10.0))))
 (let ((?x1501 (- (- (* 2.0 meituan_is_a_retail_comp_x) (* 2.0 main_title_2_x)) main_title_2_width)))
 (let (($x1504 (or $x1261 (= (+ ?x1501 meituan_is_a_retail_comp_width) 0.0))))
 (let ((?x1494 (* 2.0 meituan_learn_more_x)))
 (let ((?x1296 (* 2.0 meituan_is_a_retail_comp_x)))
 (let ((?x1309 (+ ?x1296 meituan_is_a_retail_comp_width)))
 (let (($x1498 (or $x1261 (= (- (- ?x1309 ?x1494) meituan_learn_more_width) 0.0))))
 (let ((?x1300 (+ (- (- ?x1296 (* 2.0 meituan_slogan_x)) meituan_slogan_width) meituan_is_a_retail_comp_width)))
 (let (($x1301 (= ?x1300 0.0)))
 (let (($x1493 (or $x1261 $x1301)))
 (let (($x1492 (or $x1261 (= meituan_learn_more_width 50.0))))
 (let (($x1490 (or $x1261 (= meituan_learn_more_hight 30.0))))
 (let (($x1488 (or $x1261 (= meituan_slogan_width 200.0))))
 (let (($x1486 (or $x1261 (= meituan_slogan_hight 30.0))))
 (let (($x1484 (or $x1261 (= meituan_is_a_retail_comp_width 100.0))))
 (let (($x1482 (or $x1261 (= meituan_is_a_retail_comp_hight 30.0))))
 (let (($x1480 (or $x1261 (>= ?x1478 10.0))))
 (let (($x1476 (or $x1261 (>= ?x1323 10.0))))
 (let ((?x1348 (* 2.0 meituan_slogan_y)))
 (let ((?x1326 (- meituan_slogan_hight)))
 (let ((?x1346 (+ ?x1326 meituan_is_a_retail_comp_hight)))
 (let (($x1473 (= (+ (- (+ ?x1346 meituan_learn_more_y) ?x1348) meituan_is_a_retail_comp_y) 0.0)))
 (let (($x1474 (or $x1261 $x1473)))
 (let ((?x1465 (+ (+ (- main_title_2_hight) meituan_learn_more_y) meituan_learn_more_hight)))
 (let (($x1469 (or $x1261 (= (- ?x1465 main_title_2_y) (- 10.0)))))
 (let (($x1462 (or $x1261 (= (+ (- main_title_2_y) meituan_is_a_retail_comp_y) 10.0))))
 (let (($x1458 (>= meituan_learn_more_hight 0.0)))
 (let (($x1457 (>= meituan_learn_more_width 0.0)))
 (let (($x1456 (>= meituan_learn_more_y 0.0)))
 (let (($x1455 (>= meituan_learn_more_x 0.0)))
 (let ((?x1332 (- (- download_app_y meituan_detail_info_y) meituan_detail_info_hight)))
 (let (($x1454 (or $x1244 (>= ?x1332 0.0))))
 (let (($x1452 (or $x1244 (>= (- (+ ?x1326 meituan_detail_info_y) meituan_slogan_y) 0.0))))
 (let (($x1450 (or $x1244 $x1449)))
 (let ((?x1446 (- (- (+ main_title_1_y main_title_1_hight) download_app_y) download_app_hight)))
 (let (($x1448 (or $x1244 (>= ?x1446 30.0))))
 (let (($x1444 (or $x1244 (>= (+ (- main_title_1_y) download_app_y) 30.0))))
 (let ((?x1439 (- (- (+ main_title_1_x main_title_1_width) download_app_x) download_app_width)))
 (let (($x1441 (or $x1244 (>= ?x1439 30.0))))
 (let (($x1436 (or $x1244 (>= (+ (- main_title_1_x) download_app_x) 30.0))))
 (let ((?x1431 (- (- (+ main_title_1_y main_title_1_hight) meituan_detail_info_y) meituan_detail_info_hight)))
 (let (($x1433 (or $x1244 (>= ?x1431 30.0))))
 (let (($x1429 (or $x1244 (>= (+ (- main_title_1_y) meituan_detail_info_y) 30.0))))
 (let ((?x1423 (+ (+ (- meituan_detail_info_width) main_title_1_x) main_title_1_width)))
 (let (($x1426 (or $x1244 (>= (- ?x1423 meituan_detail_info_x) 30.0))))
 (let (($x1420 (or $x1244 (>= (+ (- main_title_1_x) meituan_detail_info_x) 30.0))))
 (let (($x1417 (>= (- (+ (+ ?x1326 main_title_1_y) main_title_1_hight) meituan_slogan_y) 30.0)))
 (let (($x1418 (or $x1244 $x1417)))
 (let (($x1413 (or $x1244 (>= (+ (- main_title_1_y) meituan_slogan_y) 30.0))))
 (let ((?x1408 (+ (+ (- (- meituan_slogan_x) meituan_slogan_width) main_title_1_x) main_title_1_width)))
 (let (($x1410 (or $x1244 (>= ?x1408 30.0))))
 (let (($x1404 (or $x1244 (>= (- meituan_slogan_x main_title_1_x) 30.0))))
 (let ((?x1398 (+ (- main_title_1_y meituan_is_a_retail_comp_hight) main_title_1_hight)))
 (let (($x1401 (or $x1244 (>= (- ?x1398 meituan_is_a_retail_comp_y) 30.0))))
 (let (($x1396 (or $x1244 (>= (+ (- main_title_1_y) meituan_is_a_retail_comp_y) 30.0))))
 (let ((?x1391 (- (+ (- meituan_is_a_retail_comp_x) main_title_1_x) meituan_is_a_retail_comp_width)))
 (let (($x1394 (or $x1244 (>= (+ ?x1391 main_title_1_width) 30.0))))
 (let (($x1388 (or $x1244 (>= (- meituan_is_a_retail_comp_x main_title_1_x) 30.0))))
 (let (($x1385 (or $x1244 (= download_app_width 100.0))))
 (let (($x1383 (or $x1244 (= download_app_hight 50.0))))
 (let ((?x1379 (+ (- (- meituan_detail_info_width main_title_1_x) main_title_1_width) meituan_detail_info_x)))
 (let (($x1381 (or $x1244 (= ?x1379 (- 30.0)))))
 (let (($x1376 (or $x1244 (= (+ (- main_title_1_x) meituan_detail_info_x) 30.0))))
 (let (($x1372 (or $x1244 (= meituan_detail_info_hight 50.0))))
 (let (($x1370 (or $x1244 (= meituan_slogan_width 800.0))))
 (let (($x1367 (or $x1244 (= meituan_slogan_hight 50.0))))
 (let (($x1365 (or $x1244 (= meituan_is_a_retail_comp_width 200.0))))
 (let (($x1362 (or $x1244 (= meituan_is_a_retail_comp_hight 60.0))))
 (let ((?x1354 (- (+ meituan_is_a_retail_comp_hight download_app_y) meituan_detail_info_y)))
 (let ((?x1357 (+ (- (- ?x1354 meituan_slogan_y) meituan_detail_info_hight) meituan_is_a_retail_comp_y)))
 (let (($x1359 (or $x1244 (= ?x1357 0.0))))
 (let ((?x1350 (+ (- (+ ?x1346 meituan_detail_info_y) ?x1348) meituan_is_a_retail_comp_y)))
 (let (($x1352 (or $x1244 (= ?x1350 0.0))))
 (let ((?x1342 (+ (+ (- (- main_title_1_y) main_title_1_hight) download_app_y) download_app_hight)))
 (let (($x1345 (or $x1244 (= ?x1342 (- 30.0)))))
 (let (($x1339 (or $x1244 (= (+ (- main_title_1_y) meituan_is_a_retail_comp_y) 30.0))))
 (let (($x1334 (or $x1244 (= ?x1332 20.0))))
 (let (($x1330 (or $x1244 (= (- (+ ?x1326 meituan_detail_info_y) meituan_slogan_y) 20.0))))
 (let (($x1325 (or $x1244 (= ?x1323 20.0))))
 (let ((?x1318 (- (+ (- ?x1296 (* 2.0 main_title_1_x)) meituan_is_a_retail_comp_width) main_title_1_width)))
 (let (($x1320 (or $x1244 (= ?x1318 0.0))))
 (let (($x1313 (= (- (- ?x1309 (* 2.0 download_app_x)) download_app_width) 0.0)))
 (let (($x1314 (or $x1244 $x1313)))
 (let ((?x1305 (* 2.0 meituan_detail_info_x)))
 (let ((?x1306 (- (+ (- ?x1296 meituan_detail_info_width) meituan_is_a_retail_comp_width) ?x1305)))
 (let (($x1308 (or $x1244 (= ?x1306 0.0))))
 (let (($x1302 (or $x1244 $x1301)))
 (let (($x1295 (>= download_app_hight 0.0)))
 (let (($x1294 (>= download_app_width 0.0)))
 (let (($x1293 (>= download_app_y 0.0)))
 (let (($x1292 (>= download_app_x 0.0)))
 (let (($x1291 (>= meituan_detail_info_hight 0.0)))
 (let (($x1290 (>= meituan_detail_info_width 0.0)))
 (let (($x1289 (>= meituan_detail_info_y 0.0)))
 (let (($x1288 (>= meituan_detail_info_x 0.0)))
 (let (($x1287 (>= meituan_slogan_hight 0.0)))
 (let (($x1286 (>= meituan_slogan_width 0.0)))
 (let (($x1285 (>= meituan_slogan_y 0.0)))
 (let (($x1284 (>= meituan_slogan_x 0.0)))
 (let (($x1283 (>= meituan_is_a_retail_comp_hight 0.0)))
 (let (($x1282 (>= meituan_is_a_retail_comp_width 0.0)))
 (let (($x1281 (>= meituan_is_a_retail_comp_y 0.0)))
 (let (($x1280 (>= meituan_is_a_retail_comp_x 0.0)))
 (let (($x1279 (or $x1244 $x1261)))
 (let (($x1278 (or main_title_1_feasible main_title_2_feasible)))
 (let ((?x1274 (- (- main_title_2_hight main_title_holder_y) main_title_holder_hight)))
 (let (($x1277 (or $x1261 (= (+ ?x1274 main_title_2_y) 0.0))))
 (let (($x1272 (or $x1261 (= (+ (- main_title_holder_y) main_title_2_y) 0.0))))
 (let ((?x1266 (+ (+ (- main_title_holder_width) main_title_2_x) main_title_2_width)))
 (let (($x1269 (or $x1261 (= (- ?x1266 main_title_holder_x) 0.0))))
 (let (($x1264 (or $x1261 (= (- main_title_2_x main_title_holder_x) 0.0))))
 (let ((?x1258 (- (- (+ main_title_1_y main_title_1_hight) main_title_holder_y) main_title_holder_hight)))
 (let (($x1260 (or $x1244 (= ?x1258 0.0))))
 (let (($x1255 (or $x1244 (= (- main_title_1_y main_title_holder_y) 0.0))))
 (let ((?x1249 (+ (+ (- main_title_holder_width) main_title_1_x) main_title_1_width)))
 (let (($x1252 (or $x1244 (= (- ?x1249 main_title_holder_x) 0.0))))
 (let (($x1247 (or $x1244 (= (- main_title_1_x main_title_holder_x) 0.0))))
 (let (($x1243 (>= main_title_2_hight 0.0)))
 (let (($x1242 (>= main_title_2_width 0.0)))
 (let (($x1241 (>= main_title_2_y 0.0)))
 (let (($x1240 (>= main_title_2_x 0.0)))
 (let (($x1239 (>= main_title_1_hight 0.0)))
 (let (($x1238 (>= main_title_1_width 0.0)))
 (let (($x1237 (>= main_title_1_y 0.0)))
 (let (($x1236 (>= main_title_1_x 0.0)))
 (let (($x1229 (> back_ground_width 1200.0)))
 (let (($x1235 (or $x1229 (= (- main_body_width back_ground_width) 0.0))))
 (let (($x1231 (= main_body_width 1200.0)))
 (let (($x1232 (or (not $x1229) $x1231)))
 (let ((?x1226 (+ (- (+ (* (- 2.0) back_ground_x) main_body_width) back_ground_width) (* 2.0 main_body_x))))
 (let (($x1227 (= ?x1226 0.0)))
 (let ((?x1157 (- (+ ?x1155 main_pics_holder_y) main_news_hight)))
 (let (($x1221 (>= ?x1157 0.0)))
 (let ((?x1153 (- (- main_news_y main_title_holder_y) main_title_holder_hight)))
 (let (($x1220 (>= ?x1153 0.0)))
 (let ((?x1218 (+ (+ (- (- main_pics_holder_y) main_pics_holder_hight) main_body_y) main_body_hight)))
 (let (($x1219 (>= ?x1218 0.0)))
 (let (($x1214 (>= (- main_pics_holder_y main_body_y) 0.0)))
 (let ((?x1211 (- (+ (- main_body_width main_pics_holder_x) main_body_x) main_pics_holder_width)))
 (let (($x1212 (>= ?x1211 0.0)))
 (let ((?x1164 (- main_pics_holder_x main_body_x)))
 (let (($x1208 (>= ?x1164 0.0)))
 (let (($x1207 (>= (+ (- (+ ?x1155 main_body_y) main_news_hight) main_body_hight) 0.0)))
 (let (($x1203 (>= (- main_news_y main_body_y) 0.0)))
 (let ((?x1200 (- (+ (- main_body_width main_news_x) main_body_x) main_news_width)))
 (let (($x1201 (>= ?x1200 0.0)))
 (let ((?x1162 (- main_news_x main_body_x)))
 (let (($x1197 (>= ?x1162 0.0)))
 (let ((?x1195 (+ (- (+ (- main_title_holder_y) main_body_y) main_title_holder_hight) main_body_hight)))
 (let (($x1196 (>= ?x1195 0.0)))
 (let ((?x1179 (- main_title_holder_y main_body_y)))
 (let (($x1191 (>= ?x1179 0.0)))
 (let ((?x1189 (- (+ (+ (- main_title_holder_width) main_body_width) main_body_x) main_title_holder_x)))
 (let (($x1190 (>= ?x1189 0.0)))
 (let ((?x1160 (+ (- main_body_x) main_title_holder_x)))
 (let (($x1185 (>= ?x1160 0.0)))
 (let ((?x1183 (- (- (+ main_pics_holder_y main_pics_holder_hight) main_body_y) main_body_hight)))
 (let (($x1184 (= ?x1183 0.0)))
 (let (($x1180 (= ?x1179 0.0)))
 (let ((?x1177 (+ (- (+ (- main_body_width) main_pics_holder_x) main_body_x) main_pics_holder_width)))
 (let (($x1178 (= ?x1177 0.0)))
 (let ((?x1173 (+ (- (+ (- main_body_width) main_news_x) main_body_x) main_news_width)))
 (let (($x1174 (= ?x1173 0.0)))
 (let ((?x1168 (+ (- (- main_title_holder_width main_body_width) main_body_x) main_title_holder_x)))
 (let (($x1169 (= ?x1168 0.0)))
 (let (($x1165 (= ?x1164 0.0)))
 (let (($x1163 (= ?x1162 0.0)))
 (let (($x1161 (= ?x1160 0.0)))
 (let (($x1158 (= ?x1157 10.0)))
 (let (($x1154 (= ?x1153 10.0)))
 (let (($x1151 (>= main_pics_holder_hight 0.0)))
 (let (($x1150 (>= main_pics_holder_width 0.0)))
 (let (($x1149 (>= main_pics_holder_y 0.0)))
 (let (($x1148 (>= main_pics_holder_x 0.0)))
 (let (($x1147 (>= main_news_hight 0.0)))
 (let (($x1146 (>= main_news_width 0.0)))
 (let (($x1145 (>= main_news_y 0.0)))
 (let (($x1144 (>= main_news_x 0.0)))
 (let (($x1143 (>= main_title_holder_hight 0.0)))
 (let (($x1142 (>= main_title_holder_width 0.0)))
 (let (($x1141 (>= main_title_holder_y 0.0)))
 (let (($x1140 (>= main_title_holder_x 0.0)))
 (let (($x1139 (or $x637 (>= (- (+ (- less_x) icons_x) less_width) 0.0))))
 (let (($x1134 (>= (- (+ (- thin_title_y icons_hight) thin_title_hight) icons_y) 5.0)))
 (let (($x1135 (or $x637 $x1134)))
 (let (($x1130 (or $x637 (>= (+ (- thin_title_y) icons_y) 5.0))))
 (let ((?x1126 (+ (- (+ (- icons_x) thin_title_x) icons_width) thin_title_width)))
 (let (($x1128 (or $x637 (>= ?x1126 5.0))))
 (let (($x1123 (or $x637 (>= (- icons_x thin_title_x) 5.0))))
 (let (($x1119 (>= (- (- (+ thin_title_y thin_title_hight) less_y) less_hight) 5.0)))
 (let (($x1120 (or $x637 $x1119)))
 (let (($x1116 (or $x637 (>= (+ (- thin_title_y) less_y) 5.0))))
 (let (($x1113 (>= (+ (+ (- (- less_x) less_width) thin_title_x) thin_title_width) 5.0)))
 (let (($x1114 (or $x637 $x1113)))
 (let (($x1108 (or $x637 (>= (- less_x thin_title_x) 5.0))))
 (let ((?x1104 (+ (- (+ (- thin_title_y) icons_hight) thin_title_hight) icons_y)))
 (let (($x1106 (or $x637 (= ?x1104 (- 5.0)))))
 (let (($x1101 (or $x637 (= (+ (- thin_title_y) icons_y) 5.0))))
 (let (($x1097 (= (+ (+ (- (- thin_title_y) thin_title_hight) less_y) less_hight) (- 5.0))))
 (let (($x1098 (or $x637 $x1097)))
 (let (($x1093 (or $x637 (= (+ (- thin_title_y) less_y) 5.0))))
 (let ((?x1087 (- (+ (- (* 2.0 icons_x) (* 2.0 thin_title_x)) icons_width) thin_title_width)))
 (let (($x1089 (or $x637 (= ?x1087 0.0))))
 (let (($x1082 (or $x637 (= (- less_x thin_title_x) 5.0))))
 (let (($x1079 (= (+ (- 70.0) less_width) 0.0)))
 (let (($x1076 (= thin_title_hight 70.0)))
 (let (($x1074 (>= less_hight 0.0)))
 (let (($x1073 (>= less_width 0.0)))
 (let (($x1072 (>= less_y 0.0)))
 (let (($x1071 (>= less_x 0.0)))
 (let (($x1070 (or $x959 (= home_pages_kid_0_width 100.0))))
 (let (($x1068 (or $x959 (= (- home_pages_kid_0_width home_pages_kid_6_width) 0.0))))
 (let (($x1065 (or $x959 (= (- home_pages_kid_0_width home_pages_kid_5_width) 0.0))))
 (let (($x1062 (or $x959 (= (- home_pages_kid_0_width home_pages_kid_4_width) 0.0))))
 (let (($x1059 (or $x959 (= (+ (- home_pages_kid_3_width) home_pages_kid_0_width) 0.0))))
 (let (($x1056 (or $x959 (= (+ (- home_pages_kid_2_width) home_pages_kid_0_width) 0.0))))
 (let (($x1053 (or $x959 (= (+ (- home_pages_kid_1_width) home_pages_kid_0_width) 0.0))))
 (let ((?x1048 (- (+ (- home_pages_kid_5_x) home_pages_kid_6_x) home_pages_kid_5_width)))
 (let (($x1050 (or $x959 (= ?x1048 20.0))))
 (let (($x1044 (= (- (- home_pages_kid_5_x home_pages_kid_4_x) home_pages_kid_4_width) 20.0)))
 (let (($x1045 (or $x959 $x1044)))
 (let ((?x1039 (- (+ (- home_pages_kid_3_width) home_pages_kid_4_x) home_pages_kid_3_x)))
 (let (($x1041 (or $x959 (= ?x1039 20.0))))
 (let ((?x1034 (+ (- (- home_pages_kid_2_width) home_pages_kid_2_x) home_pages_kid_3_x)))
 (let (($x1036 (or $x959 (= ?x1034 20.0))))
 (let ((?x1029 (- (+ (- home_pages_kid_1_width) home_pages_kid_2_x) home_pages_kid_1_x)))
 (let (($x1031 (or $x959 (= ?x1029 20.0))))
 (let ((?x1024 (+ (- (- home_pages_kid_0_x) home_pages_kid_0_width) home_pages_kid_1_x)))
 (let (($x1026 (or $x959 (= ?x1024 20.0))))
 (let ((?x1019 (+ (- (- home_pages_kid_6_hight home_pages_y) home_pages_hight) home_pages_kid_6_y)))
 (let (($x1021 (or $x959 (= ?x1019 (- 5.0)))))
 (let ((?x1014 (+ (- (- home_pages_kid_5_hight home_pages_y) home_pages_hight) home_pages_kid_5_y)))
 (let (($x1016 (or $x959 (= ?x1014 (- 5.0)))))
 (let ((?x1009 (- (- (+ home_pages_kid_4_y home_pages_kid_4_hight) home_pages_y) home_pages_hight)))
 (let (($x1011 (or $x959 (= ?x1009 (- 5.0)))))
 (let ((?x1004 (- (+ (- home_pages_kid_3_y home_pages_y) home_pages_kid_3_hight) home_pages_hight)))
 (let (($x1006 (or $x959 (= ?x1004 (- 5.0)))))
 (let ((?x1000 (+ (- (- home_pages_kid_2_y home_pages_y) home_pages_hight) home_pages_kid_2_hight)))
 (let (($x1002 (or $x959 (= ?x1000 (- 5.0)))))
 (let ((?x996 (+ (- (+ (- home_pages_y) home_pages_kid_1_y) home_pages_hight) home_pages_kid_1_hight)))
 (let (($x998 (or $x959 (= ?x996 (- 5.0)))))
 (let ((?x992 (+ (- (- home_pages_kid_0_hight home_pages_y) home_pages_hight) home_pages_kid_0_y)))
 (let (($x994 (or $x959 (= ?x992 (- 5.0)))))
 (let (($x989 (or $x959 (= (+ (- home_pages_y) home_pages_kid_6_y) 5.0))))
 (let (($x986 (or $x959 (= (+ (- home_pages_y) home_pages_kid_5_y) 5.0))))
 (let (($x983 (or $x959 (= (- home_pages_kid_4_y home_pages_y) 5.0))))
 (let (($x980 (or $x959 (= (- home_pages_kid_3_y home_pages_y) 5.0))))
 (let (($x977 (or $x959 (= (- home_pages_kid_2_y home_pages_y) 5.0))))
 (let (($x974 (or $x959 (= (+ (- home_pages_y) home_pages_kid_1_y) 5.0))))
 (let (($x971 (or $x959 (= (+ (- home_pages_y) home_pages_kid_0_y) 5.0))))
 (let ((?x964 (+ (+ (- home_pages_width) home_pages_kid_6_x) home_pages_kid_6_width)))
 (let (($x967 (or $x959 (= (- ?x964 home_pages_x) (- 5.0)))))
 (let (($x962 (or $x959 (= (- home_pages_kid_0_x home_pages_x) 5.0))))
 (let ((?x955 (* 2.0 home_pages_x)))
 (let ((?x956 (+ (- (- home_pages_width (* 2.0 wide_title_x)) wide_title_width) ?x955)))
 (let (($x958 (or $x620 (= ?x956 0.0))))
 (let (($x951 (>= home_pages_kid_6_hight 0.0)))
 (let (($x950 (>= home_pages_kid_6_width 0.0)))
 (let (($x949 (>= home_pages_kid_6_y 0.0)))
 (let (($x948 (>= home_pages_kid_6_x 0.0)))
 (let (($x947 (>= home_pages_kid_5_hight 0.0)))
 (let (($x946 (>= home_pages_kid_5_width 0.0)))
 (let (($x945 (>= home_pages_kid_5_y 0.0)))
 (let (($x944 (>= home_pages_kid_5_x 0.0)))
 (let (($x943 (>= home_pages_kid_4_hight 0.0)))
 (let (($x942 (>= home_pages_kid_4_width 0.0)))
 (let (($x941 (>= home_pages_kid_4_y 0.0)))
 (let (($x940 (>= home_pages_kid_4_x 0.0)))
 (let (($x939 (>= home_pages_kid_3_hight 0.0)))
 (let (($x938 (>= home_pages_kid_3_width 0.0)))
 (let (($x937 (>= home_pages_kid_3_y 0.0)))
 (let (($x936 (>= home_pages_kid_3_x 0.0)))
 (let (($x935 (>= home_pages_kid_2_hight 0.0)))
 (let (($x934 (>= home_pages_kid_2_width 0.0)))
 (let (($x933 (>= home_pages_kid_2_y 0.0)))
 (let (($x932 (>= home_pages_kid_2_x 0.0)))
 (let (($x931 (>= home_pages_kid_1_hight 0.0)))
 (let (($x930 (>= home_pages_kid_1_width 0.0)))
 (let (($x929 (>= home_pages_kid_1_y 0.0)))
 (let (($x928 (>= home_pages_kid_1_x 0.0)))
 (let (($x927 (>= home_pages_kid_0_hight 0.0)))
 (let (($x926 (>= home_pages_kid_0_width 0.0)))
 (let (($x925 (>= home_pages_kid_0_y 0.0)))
 (let (($x924 (>= home_pages_kid_0_x 0.0)))
 (let ((?x920 (+ (- (- downloads_width wide_title_x) wide_title_width) downloads_x)))
 (let (($x923 (or $x620 (= ?x920 (- 50.0)))))
 (let ((?x876 (- (+ (- downloads_kid_0_x) downloads_kid_1_x) downloads_kid_0_width)))
 (let (($x917 (or $x848 (>= ?x876 0.0))))
 (let ((?x913 (+ (+ (- (- downloads_kid_1_y) downloads_kid_1_hight) downloads_y) downloads_hight)))
 (let (($x915 (or $x848 (>= ?x913 5.0))))
 (let (($x909 (or $x848 (>= (- downloads_kid_1_y downloads_y) 5.0))))
 (let ((?x905 (+ (- (- downloads_width downloads_kid_1_x) downloads_kid_1_width) downloads_x)))
 (let (($x907 (or $x848 (>= ?x905 5.0))))
 (let (($x902 (or $x848 (>= (- downloads_kid_1_x downloads_x) 5.0))))
 (let ((?x897 (- (+ (+ (- downloads_kid_0_hight) downloads_y) downloads_hight) downloads_kid_0_y)))
 (let (($x899 (or $x848 (>= ?x897 5.0))))
 (let (($x893 (or $x848 (>= (+ (- downloads_y) downloads_kid_0_y) 5.0))))
 (let ((?x889 (+ (- (- downloads_width downloads_kid_0_x) downloads_kid_0_width) downloads_x)))
 (let (($x891 (or $x848 (>= ?x889 5.0))))
 (let (($x886 (or $x848 (>= (- downloads_kid_0_x downloads_x) 5.0))))
 (let (($x884 (or $x848 (= downloads_kid_1_width 100.0))))
 (let (($x881 (or $x848 (= downloads_kid_0_width 120.0))))
 (let (($x878 (or $x848 (= ?x876 10.0))))
 (let ((?x871 (- (- (+ downloads_kid_1_y downloads_kid_1_hight) downloads_y) downloads_hight)))
 (let (($x873 (or $x848 (= ?x871 (- 5.0)))))
 (let ((?x866 (+ (- (- downloads_kid_0_hight downloads_y) downloads_hight) downloads_kid_0_y)))
 (let (($x868 (or $x848 (= ?x866 (- 5.0)))))
 (let (($x863 (or $x848 (= (- downloads_kid_1_y downloads_y) 5.0))))
 (let (($x860 (or $x848 (= (+ (- downloads_y) downloads_kid_0_y) 5.0))))
 (let ((?x854 (- (+ (+ (- downloads_width) downloads_kid_1_x) downloads_kid_1_width) downloads_x)))
 (let (($x856 (or $x848 (= ?x854 (- 5.0)))))
 (let (($x851 (or $x848 (= (- downloads_kid_0_x downloads_x) 5.0))))
 (let (($x847 (>= downloads_kid_1_hight 0.0)))
 (let (($x846 (>= downloads_kid_1_width 0.0)))
 (let (($x845 (>= downloads_kid_1_y 0.0)))
 (let (($x844 (>= downloads_kid_1_x 0.0)))
 (let (($x843 (>= downloads_kid_0_hight 0.0)))
 (let (($x842 (>= downloads_kid_0_width 0.0)))
 (let (($x841 (>= downloads_kid_0_y 0.0)))
 (let (($x840 (>= downloads_kid_0_x 0.0)))
 (let (($x839 (or $x620 (= (- icons_x wide_title_x) 50.0))))
 (let (($x836 (or $x765 (= (+ (- 10.0 icons_width) (* 2.0 icons_kid_1_width)) 0.0))))
 (let (($x830 (= (+ (- 20.0 (* 2.0 icons_width)) (* 5.0 icons_kid_0_width)) 0.0)))
 (let (($x831 (or $x765 $x830)))
 (let (($x823 (or $x765 (>= (- (- icons_kid_1_x icons_kid_0_x) icons_kid_0_width) 0.0))))
 (let (($x818 (>= (+ (- (- icons_hight icons_kid_1_y) icons_kid_1_hight) icons_y) 5.0)))
 (let (($x819 (or $x765 $x818)))
 (let (($x814 (or $x765 (>= (- icons_kid_1_y icons_y) 5.0))))
 (let (($x811 (>= (- (- (+ icons_x icons_width) icons_kid_1_x) icons_kid_1_width) 5.0)))
 (let (($x812 (or $x765 $x811)))
 (let (($x808 (or $x765 (>= (+ (- icons_x) icons_kid_1_x) 5.0))))
 (let (($x804 (>= (+ (- (- icons_hight icons_kid_0_y) icons_kid_0_hight) icons_y) 5.0)))
 (let (($x805 (or $x765 $x804)))
 (let (($x800 (or $x765 (>= (- icons_kid_0_y icons_y) 5.0))))
 (let (($x797 (>= (- (- (+ icons_x icons_width) icons_kid_0_x) icons_kid_0_width) 5.0)))
 (let (($x798 (or $x765 $x797)))
 (let (($x793 (or $x765 (>= (+ (- icons_x) icons_kid_0_x) 5.0))))
 (let ((?x789 (- (+ (+ (- icons_hight) icons_kid_1_y) icons_kid_1_hight) icons_y)))
 (let (($x791 (or $x765 (= ?x789 (- 5.0)))))
 (let ((?x784 (- (+ (+ (- icons_hight) icons_kid_0_y) icons_kid_0_hight) icons_y)))
 (let (($x786 (or $x765 (= ?x784 (- 5.0)))))
 (let (($x780 (or $x765 (= (- icons_kid_1_y icons_y) 5.0))))
 (let (($x777 (or $x765 (= (- icons_kid_0_y icons_y) 5.0))))
 (let ((?x771 (+ (+ (- (- icons_x) icons_width) icons_kid_1_x) icons_kid_1_width)))
 (let (($x774 (or $x765 (= ?x771 (- 5.0)))))
 (let (($x769 (or $x765 (= (+ (- icons_x) icons_kid_0_x) 5.0))))
 (let (($x764 (= (+ (* (- 2.0) icons_hight) icons_width) 0.0)))
 (let (($x760 (>= icons_kid_1_hight 0.0)))
 (let (($x759 (>= icons_kid_1_width 0.0)))
 (let (($x758 (>= icons_kid_1_y 0.0)))
 (let (($x757 (>= icons_kid_1_x 0.0)))
 (let (($x756 (>= icons_kid_0_hight 0.0)))
 (let (($x755 (>= icons_kid_0_width 0.0)))
 (let (($x754 (>= icons_kid_0_y 0.0)))
 (let (($x753 (>= icons_kid_0_x 0.0)))
 (let (($x752 (or $x620 (>= (- (+ (- home_pages_width) downloads_x) home_pages_x) 0.0))))
 (let (($x748 (or $x620 (>= (+ (- (- icons_x) icons_width) home_pages_x) 0.0))))
 (let ((?x742 (- (- (+ wide_title_y wide_title_hight) downloads_y) downloads_hight)))
 (let (($x744 (or $x620 (>= ?x742 0.0))))
 (let (($x740 (or $x620 (>= (+ (- wide_title_y) downloads_y) 0.0))))
 (let ((?x736 (- (+ (+ (- downloads_width) wide_title_x) wide_title_width) downloads_x)))
 (let (($x738 (or $x620 (>= ?x736 0.0))))
 (let (($x732 (or $x620 (>= (+ (- wide_title_x) downloads_x) 0.0))))
 (let ((?x727 (- (- (+ wide_title_y wide_title_hight) home_pages_y) home_pages_hight)))
 (let (($x729 (or $x620 (>= ?x727 0.0))))
 (let (($x725 (or $x620 (>= (+ (- wide_title_y) home_pages_y) 0.0))))
 (let ((?x721 (- (+ (+ (- home_pages_width) wide_title_x) wide_title_width) home_pages_x)))
 (let (($x723 (or $x620 (>= ?x721 0.0))))
 (let (($x717 (or $x620 (>= (+ (- wide_title_x) home_pages_x) 0.0))))
 (let (($x712 (>= (- (+ (- wide_title_y icons_hight) wide_title_hight) icons_y) 0.0)))
 (let (($x713 (or $x620 $x712)))
 (let (($x708 (or $x620 (>= (+ (- wide_title_y) icons_y) 0.0))))
 (let ((?x704 (+ (- (+ (- icons_x) wide_title_x) icons_width) wide_title_width)))
 (let (($x706 (or $x620 (>= ?x704 0.0))))
 (let (($x700 (or $x620 (>= (- icons_x wide_title_x) 0.0))))
 (let (($x697 (= wide_title_hight 80.0)))
 (let ((?x693 (+ (+ (- (- wide_title_y) wide_title_hight) downloads_y) downloads_hight)))
 (let (($x695 (or $x620 (= ?x693 0.0))))
 (let (($x691 (or $x620 (= (+ (- wide_title_y) downloads_y) 0.0))))
 (let ((?x686 (+ (+ (- (- wide_title_y) wide_title_hight) home_pages_y) home_pages_hight)))
 (let (($x688 (or $x620 (= ?x686 0.0))))
 (let (($x683 (or $x620 (= (+ (- wide_title_y) home_pages_y) 0.0))))
 (let ((?x678 (+ (- (+ (- wide_title_y) icons_hight) wide_title_hight) icons_y)))
 (let (($x680 (or $x620 (= ?x678 0.0))))
 (let (($x675 (or $x620 (= (+ (- wide_title_y) icons_y) 0.0))))
 (let (($x671 (>= downloads_hight 0.0)))
 (let (($x670 (>= downloads_width 0.0)))
 (let (($x669 (>= downloads_y 0.0)))
 (let (($x668 (>= downloads_x 0.0)))
 (let (($x667 (>= home_pages_hight 0.0)))
 (let (($x666 (>= home_pages_width 0.0)))
 (let (($x665 (>= home_pages_y 0.0)))
 (let (($x664 (>= home_pages_x 0.0)))
 (let (($x663 (>= icons_hight 0.0)))
 (let (($x662 (>= icons_width 0.0)))
 (let (($x661 (>= icons_y 0.0)))
 (let (($x660 (>= icons_x 0.0)))
 (let ((?x546 (- title_holder_y back_ground_y)))
 (let (($x659 (= ?x546 0.0)))
 (let ((?x657 (- (+ (- title_holder_x back_ground_x) title_holder_width) back_ground_width)))
 (let (($x658 (= ?x657 0.0)))
 (let ((?x539 (- title_holder_x back_ground_x)))
 (let (($x655 (= ?x539 0.0)))
 (let (($x654 (or $x620 $x637)))
 (let (($x653 (or wide_title_feasible thin_title_feasible)))
 (let ((?x650 (- (- (+ thin_title_y thin_title_hight) title_holder_y) title_holder_hight)))
 (let (($x652 (or $x637 (= ?x650 0.0))))
 (let (($x647 (or $x637 (= (- thin_title_y title_holder_y) 0.0))))
 (let ((?x642 (+ (+ (- (- title_holder_x) title_holder_width) thin_title_x) thin_title_width)))
 (let (($x644 (or $x637 (= ?x642 0.0))))
 (let (($x640 (or $x637 (= (+ (- title_holder_x) thin_title_x) 0.0))))
 (let ((?x634 (- (- (+ wide_title_y wide_title_hight) title_holder_y) title_holder_hight)))
 (let (($x636 (or $x620 (= ?x634 0.0))))
 (let (($x631 (or $x620 (= (- wide_title_y title_holder_y) 0.0))))
 (let ((?x626 (+ (+ (- (- title_holder_x) title_holder_width) wide_title_x) wide_title_width)))
 (let (($x628 (or $x620 (= ?x626 0.0))))
 (let (($x623 (or $x620 (= (+ (- title_holder_x) wide_title_x) 0.0))))
 (let (($x619 (>= thin_title_hight 0.0)))
 (let (($x618 (>= thin_title_width 0.0)))
 (let (($x617 (>= thin_title_y 0.0)))
 (let (($x616 (>= thin_title_x 0.0)))
 (let (($x615 (>= wide_title_hight 0.0)))
 (let (($x614 (>= wide_title_width 0.0)))
 (let (($x613 (>= wide_title_y 0.0)))
 (let (($x612 (>= wide_title_x 0.0)))
 (let (($x611 (= (+ (- BC_y) back_ground_y) 0.0)))
 (let (($x608 (= (- (+ (- back_ground_x BC_x) back_ground_width) BC_width) 0.0)))
 (let ((?x604 (- back_ground_x BC_x)))
 (let (($x605 (= ?x604 0.0)))
 (let ((?x598 (- (- bottom_holder_y read_more_y) read_more_hight)))
 (let (($x603 (= ?x598 10.0)))
 (let ((?x595 (- (- read_more_y main_body_y) main_body_hight)))
 (let (($x602 (= ?x595 10.0)))
 (let ((?x592 (- (+ (- title_holder_y) main_body_y) title_holder_hight)))
 (let (($x601 (= ?x592 10.0)))
 (let (($x599 (>= ?x598 0.0)))
 (let (($x596 (>= ?x595 0.0)))
 (let (($x593 (>= ?x592 0.0)))
 (let ((?x588 (+ (- (- back_ground_hight bottom_holder_y) bottom_holder_hight) back_ground_y)))
 (let (($x589 (>= ?x588 0.0)))
 (let (($x585 (>= (- bottom_holder_y back_ground_y) 0.0)))
 (let ((?x582 (- (- (+ back_ground_x back_ground_width) bottom_holder_x) bottom_holder_width)))
 (let (($x583 (>= ?x582 0.0)))
 (let (($x579 (>= (+ (- back_ground_x) bottom_holder_x) 0.0)))
 (let ((?x576 (+ (- (- back_ground_hight read_more_y) read_more_hight) back_ground_y)))
 (let (($x577 (>= ?x576 0.0)))
 (let (($x573 (>= (- read_more_y back_ground_y) 0.0)))
 (let ((?x570 (- (+ (+ (- read_more_width) back_ground_x) back_ground_width) read_more_x)))
 (let (($x571 (>= ?x570 0.0)))
 (let (($x566 (>= (+ (- back_ground_x) read_more_x) 0.0)))
 (let ((?x563 (- (+ (- back_ground_hight main_body_y) back_ground_y) main_body_hight)))
 (let (($x564 (>= ?x563 0.0)))
 (let (($x560 (>= (- main_body_y back_ground_y) 0.0)))
 (let ((?x557 (- (+ (- back_ground_x main_body_width) back_ground_width) main_body_x)))
 (let (($x558 (>= ?x557 0.0)))
 (let (($x554 (>= (+ (- back_ground_x) main_body_x) 0.0)))
 (let ((?x550 (- (+ (- back_ground_hight title_holder_y) back_ground_y) title_holder_hight)))
 (let (($x551 (>= ?x550 0.0)))
 (let (($x547 (>= ?x546 0.0)))
 (let ((?x544 (+ (- (+ (- title_holder_x) back_ground_x) title_holder_width) back_ground_width)))
 (let (($x545 (>= ?x544 0.0)))
 (let (($x540 (>= ?x539 0.0)))
 (let (($x538 (>= bottom_holder_hight 0.0)))
 (let (($x537 (>= bottom_holder_width 0.0)))
 (let (($x536 (>= bottom_holder_y 0.0)))
 (let (($x535 (>= bottom_holder_x 0.0)))
 (let (($x534 (>= read_more_hight 0.0)))
 (let (($x533 (>= read_more_width 0.0)))
 (let (($x532 (>= read_more_y 0.0)))
 (let (($x531 (>= read_more_x 0.0)))
 (let (($x530 (>= main_body_hight 0.0)))
 (let (($x529 (>= main_body_width 0.0)))
 (let (($x528 (>= main_body_y 0.0)))
 (let (($x527 (>= main_body_x 0.0)))
 (let (($x526 (>= title_holder_hight 0.0)))
 (let (($x525 (>= title_holder_width 0.0)))
 (let (($x524 (>= title_holder_y 0.0)))
 (let (($x523 (>= title_holder_x 0.0)))
 (let (($x522 (>= back_ground_hight 0.0)))
 (let (($x521 (>= back_ground_width 0.0)))
 (let (($x520 (>= back_ground_y 0.0)))
 (let (($x519 (>= back_ground_x 0.0)))
 (let (($x518 (= BC_y 0.0)))
 (let (($x517 (= BC_x 0.0)))
 (let (($x516 (<= BC_width 4000.0)))
 (let (($x514 (>= BC_hight 0.0)))
 (let (($x513 (>= BC_width 0.0)))
 (let (($x512 (>= BC_y 0.0)))
 (let (($x511 (>= BC_x 0.0)))
 (and $x511 $x512 $x513 $x514 $x516 $x517 $x518 BC_feasible $x519 $x520 $x521 $x522 $x523 $x524 $x525 $x526 $x527 $x528 $x529 $x530 $x531 $x532 $x533 $x534 $x535 $x536 $x537 $x538 $x540 $x545 $x547 $x551 $x554 $x558 $x560 $x564 $x566 $x571 $x573 $x577 $x579 $x583 $x585 $x589 $x593 $x596 $x599 $x601 $x602 $x603 $x605 $x608 $x611 $x612 $x613 $x614 $x615 $x616 $x617 $x618 $x619 $x623 $x628 $x631 $x636 $x640 $x644 $x647 $x652 $x653 $x654 $x655 $x658 $x659 $x660 $x661 $x662 $x663 $x664 $x665 $x666 $x667 $x668 $x669 $x670 $x671 $x675 $x680 $x683 $x688 $x691 $x695 $x697 $x700 $x706 $x708 $x713 $x717 $x723 $x725 $x729 $x732 $x738 $x740 $x744 $x748 $x752 $x753 $x754 $x755 $x756 $x757 $x758 $x759 $x760 $x764 $x769 $x774 $x777 $x780 $x786 $x791 $x793 $x798 $x800 $x805 $x808 $x812 $x814 $x819 $x823 $x831 $x836 $x839 $x840 $x841 $x842 $x843 $x844 $x845 $x846 $x847 $x851 $x856 $x860 $x863 $x868 $x873 $x878 $x881 $x884 $x886 $x891 $x893 $x899 $x902 $x907 $x909 $x915 $x917 $x923 $x924 $x925 $x926 $x927 $x928 $x929 $x930 $x931 $x932 $x933 $x934 $x935 $x936 $x937 $x938 $x939 $x940 $x941 $x942 $x943 $x944 $x945 $x946 $x947 $x948 $x949 $x950 $x951 $x958 $x962 $x967 $x971 $x974 $x977 $x980 $x983 $x986 $x989 $x994 $x998 $x1002 $x1006 $x1011 $x1016 $x1021 $x1026 $x1031 $x1036 $x1041 $x1045 $x1050 $x1053 $x1056 $x1059 $x1062 $x1065 $x1068 $x1070 $x1071 $x1072 $x1073 $x1074 $x1076 $x1079 $x1082 $x1089 $x1093 $x1098 $x1101 $x1106 $x1108 $x1114 $x1116 $x1120 $x1123 $x1128 $x1130 $x1135 $x1139 $x1140 $x1141 $x1142 $x1143 $x1144 $x1145 $x1146 $x1147 $x1148 $x1149 $x1150 $x1151 $x1154 $x1158 $x1161 $x1163 $x1165 $x1169 $x1174 $x1178 $x1180 $x1184 $x1185 $x1190 $x1191 $x1196 $x1197 $x1201 $x1203 $x1207 $x1208 $x1212 $x1214 $x1219 $x1220 $x1221 $x1227 $x1232 $x1235 $x1236 $x1237 $x1238 $x1239 $x1240 $x1241 $x1242 $x1243 $x1247 $x1252 $x1255 $x1260 $x1264 $x1269 $x1272 $x1277 $x1278 $x1279 $x1280 $x1281 $x1282 $x1283 $x1284 $x1285 $x1286 $x1287 $x1288 $x1289 $x1290 $x1291 $x1292 $x1293 $x1294 $x1295 $x1302 $x1308 $x1314 $x1320 $x1325 $x1330 $x1334 $x1339 $x1345 $x1352 $x1359 $x1362 $x1365 $x1367 $x1370 $x1372 $x1376 $x1381 $x1383 $x1385 $x1388 $x1394 $x1396 $x1401 $x1404 $x1410 $x1413 $x1418 $x1420 $x1426 $x1429 $x1433 $x1436 $x1441 $x1444 $x1448 $x1450 $x1452 $x1454 $x1455 $x1456 $x1457 $x1458 $x1462 $x1469 $x1474 $x1476 $x1480 $x1482 $x1484 $x1486 $x1488 $x1490 $x1492 $x1493 $x1498 $x1504 $x1507 $x1512 $x1514 $x1519 $x1522 $x1527 $x1530 $x1535 $x1539 $x1544 $x1547 $x1552 $x1553 $x1555 $x1556 $x1557 $x1558 $x1559 $x1560 $x1561 $x1562 $x1563 $x1564 $x1566 $x1569 $x1571 $x1575 $x1577 $x1581 $x1582 $x1583 $x1584 $x1589 $x1590 $x1595 $x1597 $x1602 $x1603 $x1608 $x1611 $x1612 $x1613 $x1614 $x1615 $x1616 $x1617 $x1618 $x1619 $x1623 $x1628 $x1631 $x1636 $x1640 $x1645 $x1648 $x1652 $x1653 $x1654 $x1655 $x1656 $x1657 $x1658 $x1659 $x1660 $x1661 $x1662 $x1666 $x1669 $x1674 $x1679 $x1682 $x1688 $x1692 $x1693 $x1694 $x1695 $x1696 $x1697 $x1698 $x1699 $x1700 $x1704 $x1710 $x1713 $x1716 $x1720 $x1725 $x1729 $x1731 $x1736 $x1738 $x1744 $x1747 $x1752 $x1754 $x1760 $x1762 $x1763 $x1764 $x1765 $x1766 $x1769 $x1772 $x1774 $x1775 $x1776 $x1777 $x1778 $x1779 $x1780 $x1781 $x1782 $x1783 $x1784 $x1785 $x1786 $x1787 $x1788 $x1789 $x1790 $x1791 $x1792 $x1793 $x1794 $x1798 $x1802 $x1808 $x1813 $x1817 $x1820 $x1824 $x1827 $x1831 $x1835 $x1839 $x1843 $x1846 $x1850 $x1854 $x1857 $x1860 $x1863 $x1868 $x1873 $x1878 $x1881 $x1884 $x1888 $x1889 $x1890 $x1891 $x1892 $x1893 $x1894 $x1895 $x1896 $x1900 $x1903 $x1907 $x1912 $x1915 $x1920 $x1925 $x1926 $x1927 $x1928 $x1929 $x1930 $x1931 $x1932 $x1933 $x1934 $x1935 $x1936 $x1937 $x1943 $x1947 $x1951 $x1954 $x1957 $x1962 $x1967 $x1972 $x1975 $x1981 $x1982 $x1985 $x1988 $x1990 $x1994 $x1996 $x2001 $x2003 $x2008 $x2011 $x2016 $x2018 $x2024 $x2027 $x2032 $x2034 $x2036 $x2037 $x2038 $x2039 $x2040 $x2041 $x2042 $x2043 $x2044 $x2049 $x2052 $x2056 $x2060 $x2063 $x2068 $x2073 $x2076 $x2077 $x2078 $x2079 $x2080 $x2081 $x2082 $x2083 $x2084 $x2085 $x2086 $x2087 $x2088 $x2094 $x2098 $x2101 $x2104 $x2108 $x2112 $x2117 $x2122 $x2126 $x2131 $x2132 $x2135 $x2139 $x2141 $x2147 $x2149 $x2154 $x2156 $x2162 $x2165 $x2170 $x2172 $x2178 $x2181 $x2186 $x2188 $x2190 $x2191 $x2192 $x2193 $x2194 $x2195 $x2196 $x2197 $x2198 $x2202 $x2206 $x2210 $x2215 $x2218 $x2223 $x2227 $x2229 $x2230 $x2231 $x2232 $x2233 $x2234 $x2235 $x2236 $x2237 $x2238 $x2239 $x2240 $x2241 $x2247 $x2252 $x2255 $x2258 $x2261 $x2267 $x2272 $x2277 $x2280 $x2285 $x2286 $x2289 $x2293 $x2295 $x2300 $x2302 $x2307 $x2309 $x2314 $x2317 $x2322 $x2324 $x2329 $x2333 $x2338 $x2340 $x2342 $x2343 $x2344 $x2345 $x2346 $x2347 $x2348 $x2349 $x2350 $x2354 $x2357 $x2362 $x2367 $x2370 $x2375 $x2380 $x2382 $x2383 $x2384 $x2385 $x2386 $x2387 $x2388 $x2389 $x2390 $x2391 $x2392 $x2393 $x2394 $x2399 $x2403 $x2407 $x2410 $x2413 $x2419 $x2424 $x2429 $x2433 $x2439 $x2440 $x2444 $x2448 $x2450 $x2455 $x2457 $x2462 $x2464 $x2469 $x2472 $x2477 $x2479 $x2484 $x2487 $x2492 $x2494 $x2496 $x2497 $x2498 $x2499 $x2500 $x2501 $x2502 $x2503 $x2504 $x2509 $x2512 $x2516 $x2520 $x2523 $x2528 $x2533 $x2536 $x2537 $x2538 $x2539 $x2540 $x2541 $x2542 $x2543 $x2544 $x2545 $x2546 $x2547 $x2548 $x2553 $x2558 $x2561 $x2565 $x2568 $x2572 $x2577 $x2582 $x2585 $x2591 $x2592 $x2596 $x2600 $x2602 $x2608 $x2610 $x2615 $x2617 $x2623 $x2626 $x2631 $x2633 $x2639 $x2642 $x2647 $x2649 $x2651 $x2652 $x2653 $x2654 $x2655 $x2656 $x2657 $x2658 $x2659 $x2663 $x2666 $x2671 $x2676 $x2679 $x2684 $x2688 $x2691 $x2692 $x2693 $x2694 $x2695 $x2696 $x2697 $x2698 $x2699 $x2700 $x2701 $x2702 $x2703 $x2709 $x2714 $x2717 $x2720 $x2723 $x2727 $x2731 $x2736 $x2740 $x2745 $x2746 $x2749 $x2752 $x2754 $x2760 $x2762 $x2766 $x2768 $x2774 $x2777 $x2782 $x2784 $x2790 $x2793 $x2797 $x2799 $x2801 $x2802 $x2803 $x2804 $x2805 $x2806 $x2807 $x2808 $x2809 $x2813 $x2816 $x2821 $x2826 $x2829 $x2834 $x2839 $x2841 $x2842 $x2843 $x2844 $x2845 $x2846 $x2847 $x2848 $x2849 $x2850 $x2851 $x2852 $x2853 $x2858 $x2863 $x2866 $x2869 $x2872 $x2878 $x2883 $x2888 $x2891 $x2896 $x2897 $x2901 $x2905 $x2907 $x2912 $x2914 $x2920 $x2922 $x2927 $x2930 $x2934 $x2936 $x2941 $x2945 $x2950 $x2952 $x2954 $x2955 $x2956 $x2957 $x2958 $x2959 $x2960 $x2961 $x2962 $x2966 $x2970 $x2975 $x2980 $x2983 $x2988 $x2993 $x2995 $x2996 $x2997 $x2998 $x2999 $x3000 $x3001 $x3002 $x3003 $x3004 $x3005 $x3006 $x3007 $x3013 $x3017 $x3020 $x3023 $x3026 $x3031 $x3036 $x3042 $x3045 $x3050 $x3051 $x3054 $x3058 $x3060 $x3066 $x3068 $x3073 $x3075 $x3081 $x3084 $x3090 $x3092 $x3097 $x3100 $x3106 $x3108 $x3110 $x3114 $x3117 $x3120 $x3123 $x3126 $x3129 $x3132 $x3135 $x3140 $x3144 $x3148 $x3152 $x3156 $x3161 $x3165 $x3169 $x3172 $x3177 $x3181 $x3184 $x3188 $x3193 $x3197 $x3201 $x3205 $x3207 $x3211 $x3213 $x3218 $x3220 $x3224 $x3227 $x3231 $x3233 $x3238 $x3242 $x3247 $x3249 $x3253 $x3256 $x3260 $x3262 $x3267 $x3270 $x3275 $x3277 $x3282 $x3285 $x3291 $x3293 $x3297 $x3300 $x3305 $x3307 $x3311 $x3314 $x3318 $x3320 $x3322 $x3324 $x3326 $x3328 $x3330 $x3332 $x3335 $x3338 $x3340 $x3346 $x3347 $x3348 $x3349 $x3350 $x3351 $x3352 $x3353 $x3354 $x3358 $x3362 $x3365 $x3369 $x3373 $x3378 $x3382 $x3387 $x3388 $x3389 $x3391 $x3393 $x3394 $x3395 $x3396 $x3397 $x3398 $x3399 $x3400 $x3401 $x3402 $x3405 $x3411 $x3415 $x3418 $x3420 $x3426 $x3428 $x3433 $x3436 $x3442 $x3444 $x3449 $x3453 $x3455 $x3457 $x3458 $x3459 $x3460 $x3461 $x3462 $x3463 $x3464 $x3465 $x3466 $x3467 $x3468 $x3469 $x3470 $x3471 $x3472 $x3473 $x3474 $x3475 $x3476 $x3477 $x3418 $x3482 $x3483 $x3487 $x3490 $x3493 $x3496 $x3498 $x3501 $x3505 $x3508 $x3512 $x3515 $x3520 $x3524 $x3529 $x3532 $x3537 $x3540 $x3545 $x3551 $x3558 $x3565 $x3567 $x3572 $x3574 $x3580 $x3583 $x3588 $x3590 $x3596 $x3599 $x3603 $x3605 $x3611 $x3614 $x3618 $x3620 $x3626 $x3628 $x3633 $x3635 $x3641 $x3646 $x3651 $x3655 $x3659 $x3660 $x3661 $x3662 $x3663 $x3670 $x3675 $x3678 $x3684 $x3687 $x3692 $x3696 $x3701 $x3705 $x3711 $x3713 $x3715 $x3720 $x3721 $x3722 $x3723 $x3724 $x3725 $x3726 $x3727 $x3728 $x3729 $x3730 $x3731 $x3732 $x3733 $x3734 $x3735 $x3736 $x3740 $x3743 $x3746 $x3749 $x3754 $x3759 $x3764 $x3768 $x3771 $x3776 $x3780 $x3785 $x3789 $x3791 $x3795 $x3796 $x3800 $x3804 $x3808 back_ground_feasible title_holder_feasible main_body_feasible read_more_feasible bottom_holder_feasible $x3809 $x3810 $x3811 $x3812 $x3813 $x3814 $x3815 $x3816 $x3818 $x3819 $x3821 $x3822 $x3824 $x3825 $x3827 $x3828 $x3830 $x3831 $x3833 $x3834 $x3836 $x3837 $x3839 $x3840 $x3842 $x3843 $x3845 $x3846 $x3848 $x3849 $x3851 $x3852 main_title_holder_feasible main_news_feasible main_pics_holder_feasible $x3853 $x3854 $x3856 $x3857 $x3858 $x3859 $x3861 $x3862 $x3864 $x3865 $x3867 $x3868 $x3870 $x3871 main_news_kid_0_feasible main_news_kid_1_feasible $x3872 $x3873 $x3874 $x3875 $x3876 $x3877 $x3878 $x3879 $x3880 $x3881 $x3882 $x3883 $x3884 $x3885 $x3886 $x3887 $x3888 $x3889 $x3890 $x3891 $x3892 $x3893 $x3894 $x3895 $x3896 $x3897 $x3898 $x3899 $x3900 $x3901 $x3902 $x3903 $x3904 $x3905 $x3906 $x3907 $x3909 $x3910 $x3911 $x3912 $x3914 $x3915 $x3917 $x3918 $x3920 $x3921 $x3923 $x3924 $x3925 $x3926 $x3928 $x3929 $x3931 $x3932 $x3934 $x3935 $x3937 $x3938 $x3939 $x3940 $x3942 $x3943 $x3945 $x3946 $x3948 $x3949 $x3951 $x3952 $x3953 $x3954 $x3956 $x3957 $x3959 $x3960 $x3962 $x3963 $x3965 $x3966 $x3967 $x3968 $x3970 $x3971 $x3973 $x3974 $x3976 $x3977 $x3979 $x3980 $x3981 $x3982 $x3984 $x3985 $x3987 $x3988 $x3990 $x3991 $x3993 $x3994 $x3995 $x3996 $x3998 $x3999 $x4001 $x4002 $x4004 $x4005 $x4007 $x4008 $x4009 $x4010 $x4012 $x4013 $x4015 $x4016 $x4018 $x4019 $x4020 $x4021 $x4023 $x4024 $x4025 $x4026 $x4028 $x4029 $x4031 $x4032 $x4034 $x4035 $x4037 $x4038 $x4040 $x4041 $x4042 $x4043 $x4045 $x4046 $x4048 $x4049 $x4051 $x4052 $x4054 $x4055))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
(check-sat)

